Definition:Well-Founded Class

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$

This article needs to be linked to other articles. In particular: non-empty class You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.