Axiom:Closure Axioms/Power Set

Definition
Let $S$ be a set.

Let $\powerset S$ denote the power set of $S$.

A closure operator on $S$ is a mapping $\cl: \powerset S \to \powerset S$ satisfying the following closure axioms for all sets $X, Y \subseteq S$: