Set of Subsets is Cover iff Set of Complements is Free

Theorem
Let $S$ be a set.

Let $\mathcal C$ be a set of sets.

Then $\mathcal C$ is a cover for $S$ $\set {\relcomp S X: X \in \mathcal C}$ is free.

Proof
Let $S$ be a set.

Necessary Condition
Let $\mathcal C$ be a cover for $S$:
 * $S \subseteq \bigcup \mathcal C$

Suppose:
 * $\set {\relcomp S X: X \in \mathcal C}$

is not free.

Then there exists an $x \in S$ such that:


 * $\forall X \in \mathcal C: x \in \relcomp S X$

But by the definition of (relative) complement:
 * $\forall X \in \mathcal C: x \notin X$

That is:
 * $x \notin \bigcup \mathcal C$

which contradicts:
 * $S \subseteq \bigcup \mathcal C$

Sufficient Condition
Let:
 * $\set {\relcomp S X: X \in \mathcal C}$

be free.

Suppose:
 * $\bigcup \mathcal C$

is not a cover for $S$.

Then there exists some $x \in S$ such that:
 * $\forall X \in \mathcal C: x \notin X$

Hence:
 * $\forall \relcomp S X \in \mathcal C: x \in X$

which contradicts the supposition that:
 * $\set {\relcomp S X: X \in \mathcal C}$

is free.