set-theory Definition Set Cover Given a universe set and a set of subsets , where . A set cover is a subset , such that the union over all is equal to .