., u n }, we wish to know whether there exist k of the subsets whose union is equal to U.