Definition:Maximal Element/Class Theory

Definition
Let $A$ be a class.

An element $x \in A$ is a maximal element of $A$ :


 * $\forall y \in A: x \not \subset y$

That is, $x$ a proper subset of no element of $A$.