Powerset of Subset is Closed under Symmetric Difference

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S$ be a set.

Let $T \subseteq S$ be a subset of $S$.

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


Then $\powerset T$ is a closed subset of $\powerset S$ under set intersection:

$\forall A, B \in \powerset T: A \symdif B \in \powerset T$

where $\symdif$ denotes symmetric difference.


Proof

A direct application of Power Set is Closed under Symmetric Difference.

$\blacksquare$


Sources