Definition:Well-Founded Set

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a small class.

Let $V \left({ x }\right)$ denote the von Neumann hierarchy.


Then $S$ is a well-founded set iff there is some ordinal $x$ such that $S \in V\left({x}\right)$.


Sources