Definition:Proper Well-Ordering

From ProofWiki
Jump to navigation Jump to search

Definition

Let $V$ be a basic universe.

Let $A$ be a class.

Let $\RR$ be a well-ordering on $A$.


Then $\RR$ is a proper well-ordering if and only if:

every proper lower section of $A$ is a set.


Also see

  • Results about proper well-orderings can be found here.


Sources