Closed Subsets of Symmetry Group of Square

Theorem
Recall the symmetry group of the square:

Symmetry Group of Square
The subsets of $\SS$ which are closed under composition of mappings are:


 * $\O$
 * $\set e$
 * $\set {e, r^2}$
 * $\set {e, t_x}$
 * $\set {e, t_y}$
 * $\set {e, t_{AC} }$
 * $\set {e, t_{BD} }$
 * $\set {e, r, r^2, r^3}$
 * $\set {e, r^2, t_x, t_y}$
 * $\set {e, r^2, t_{AC}, t_{BD} }$
 * $\SS$

Proof
Recall that a submagma of an algebraic structure $\SS$ is a subsets of $\SS$ which is closed.

Let $\XX$ be the set of all submagmas of $\SS$.

From Empty Set is Submagma of Magma:
 * $\O \in \XX$

From Magma is Submagma of Itself:
 * $\SS \in \XX$

From Idempotent Magma Element forms Singleton Submagma:
 * $\set e \in \XX$

Let us refer to the Cayley table:

Cayley Table of Symmetry Group of Square
Taking each of the elements of $\SS$ in order:

Thus we have:

Next note by inspection that:
 * $\set {e, r^2, t_x, t_y} \in \XX$

and:
 * $\set {e, r^2, t_{AC}, t_{BD} } \in \XX$

Finally note by inspection that:
 * any closed subset of $\SS$ which contains both $r$ and any of the reflections contains all the elements of $\SS$
 * any closed subset of $\SS$ which contains both $r^3$ and any of the reflections contains all the elements of $\SS$.

Thus there are no more proper subsets of $\SS$ which are submagmas of $\SS$.