cover — family of subsets of a set whose union equals the whole set