Projection of Complement Contains Complement of Projection

Theorem
Let $S$ and $T$ be non-empty sets.

Let $X \subseteq S \times T$ be a subset of the Cartesian product $S \times T$.

Denote with $\pr_1, \pr_2$ and $\complement$ the first and second projections, and the complement operation, respectively.

Then:

Proof
Let $s \in S$.

Then:

In conclusion:


 * $s \in \map \complement {\map {\pr_1} X} \implies s \in \map {\pr_1} {\map \complement X}$

and by definition of subset, the first relation follows.

Mutatis mutandis the other relation can be established.