Properties of Algebras of Sets

Theorem
Let $X$ be a set.

Let $\mathfrak A$ be an algebra of sets on $X$.

Then the following hold:


 * $(1): \quad$ The intersection of two sets in $\mathfrak A$ is in $\mathfrak A$.
 * $(2): \quad$ The difference of two sets in $\mathfrak A$ is in $\mathfrak A$.
 * $(3): \quad$ $X \in \mathfrak A$.
 * $(4): \quad$ The empty set $\O$ is in $\mathfrak A$.

Proof
Let:
 * $X$ be a set
 * $\mathfrak A$ be an algebra of sets on $X$
 * $A, B \in \mathfrak A$

By the definition of algebra of sets, we have that:
 * $A \cup B \in \mathfrak A$
 * $\relcomp X A \in \mathfrak A$

Thus:

and so we have that the intersection of two sets in $\mathfrak A$ is in $\mathfrak A$.

Next:

and so we have that the difference of two sets in $\mathfrak A$ is in $\mathfrak A$.

We have that $\mathfrak A \ne \O$ and so $\exists A \subseteq X: A \in \mathfrak A$.

Then:

Also, $\relcomp X A \cap A \in \mathfrak A$ from above.

So by Intersection with Relative Complement is Empty:
 * $\O \in \mathfrak A$