Cardinality of the family of strict total orders
ID: cardinality-of-the-family-of-strict-total-orders
For an infinite well-orderable cardinal number , each strict total order is a subset of , giving at most possibilities by the square of an infinite cardinal. For a lower bound, order two-element blocks by the ordinal index and independently reverse each block according to a subset of . Transport along . Distinct subsets give distinct orders. The usual axiom of choice development supplies these product identities; for well-orderable cardinals they are already provable in ZF.
New to topics? Read the docs here!