User:Dfeuer/Subclass is Order-Like

Theorem
Let $A$, $B$, and $C$ be classes.

Then:


 * $A \subseteq A$
 * If $A \subseteq B$ and $B \subseteq C$ then $A \subseteq C$
 * If $A \subseteq B$ and $B \subseteq A$ then $A = B$.

Proof
By the law of identity, $\forall x: (x \in A \implies x \in A)$.

Thus by the definition of subclass, $A \subseteq A$.

Suppose that $A \subseteq B$ and $B \subseteq C$.

Let $x \in A$.

Then by the definition of subclass, $x \in B$.

Thus by the definition of subclass, $x \in C$.

As this holds for all $x \in A$, $A \subseteq C$.

Suppose that $A \subseteq B$ and $B \subseteq A$.

Then $\forall x: x \in A \iff x \in B$.

Thus by the axiom of extensionality, $A = B$.

Remark
Also these properties look a lot like the properties that define an ordering, there is no "subclass relation", and hence no "subclass ordering". Specifically, a relation is a class of ordered pairs of sets; each component of an ordered pair must be a set. However, there is a subset relation on the universal class.