Definition:Well-Founded Set

From ProofWiki
Jump to navigation Jump to 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 if and only if there is some ordinal $x$ such that $S \in V\left({x}\right)$.


Sources