set-theory Definition Set Cover Given a universe set U and a set of subsets S={S1,S2,…,Sm}, where Si⊆U. A set cover is a subset C⊆S, such that the union over all Si∈C is equal to U. i=1⋃mSi=U