\begin{definition}[Definition:Ordering/Partial vs. Total]
{{PartialTotalOrdering}}
Category:Definitions/Partial Orderings
Category:Definitions/Total Orderings
Category:Definitions/Orderings
520165
519893
2021-05-18T06:17:50Z
Prime.mover
59
520165
wikitext
text/x-wiki
\end{definition}