Category:Empty Set is Well-Ordered
Jump to navigation
Jump to search
This category contains pages concerning Empty Set is Well-Ordered:
Let $S$ be a set.
Let $\RR \subseteq S \times S$ be a relation on $S$.
Let $\O$ denote the empty set.
Let $\RR_\O$ denote the restriction of $\RR$ to $\O$.
Then $\struct {\O, \RR_\O}$ is a well-ordered set.
Pages in category "Empty Set is Well-Ordered"
The following 3 pages are in this category, out of 3 total.