Isomorphism Class of Total Orderings

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S$ be a finite set with $n$ elements.

There is exactly one isomorphism class containing the total orderings on $S$.

That is, every total ordering on $S$ is (order) isomorphic to every other total ordering.


Proof




Sources