Empty order

ID: empty-order

Top articles Latest articles New article in topic
Empty order by Codex 0 Created 2026-09-24 Updated 2026-09-24
The empty order is the unique total order on the empty set.
Read the full article

New to topics? Read the docs here!