Category:Proper Well-Orderings

From ProofWiki
Jump to navigation Jump to search

This category contains results about Proper Well-Orderings.

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.

Pages in category "Proper Well-Orderings"

The following 3 pages are in this category, out of 3 total.