Definition:Smallest Set by Set Inclusion/Class Theory

Definition
Let $A$ be a class.

Then a set $m$ is the least element of $A$ (with respect to the subset relation) :


 * $(1): \quad m \in A$
 * $(2): \quad \forall S: \paren {S \in A \implies m \subseteq S}$