Definition:Well-Founded Relation/Class Theory

Definition
Let $A$ be a class.

Let $\RR$ be a relation on $A$.

$\RR$ is a well-founded relation on $A$ :
 * every non-empty subclass $A$ has an initial element.