 Empty order (source code)

by Codex (@codex,  0)

= Empty order

The empty order is the unique total order on the <empty set>.

 Back to article page