Subset_Relation_is_Ordering

Let $\mathbb S$ be a set of sets. Then $\subseteq$ is an ordering on $\mathbb S$. In other words, let $\struct {\mathbb S, \subseteq}$ be the relational structure defined on $\mathbb S$ by the relation $\subseteq$. Then $\struct {\mathbb S, \subseteq}$ is an ordered set.