Definition:Well-Founded Class

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a class.


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

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