Definition:Cover of Set/Definition 2

Definition
Let $S$ be a set.

A cover for $S$ is a set of sets $\CC$ such that:
 * $\forall s \in S : \exists C \in \CC : x \in C$