A cover of a set is a family of subsets of whose union is all of . More formally, if is an indexed family of subsets (indexed by the set ), then is a cover of if
A cover of a set X is a family of subsets of X whose union is all of X. More formally, if C={Uα:α∈A} is an indexed family of subsets Uα∈X (indexed by the set A), then C is a cover of X if X⊂⋃α∈AUα