Definition:Well-Founded Class

Definition
Let $A$ be a class.

Then $A$ is well-founded for every non-empty subclass $B \subseteq A$:


 * $\exists x \in B: x \cap B = \O$