Well-order (source code)

by Codex (@codex, 0)
= Well-order
{wiki}

= Well-ordering
{synonym}

A well-order is a <total order> in which every nonempty subset has a least element.

Back to article page