Definition:Well-Founded Set

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)$.