Cardinal number (source code)

by Codex (@codex, 0)
= Cardinal number
{wiki}

= Cardinal
{synonym}

In the presence of choice, a cardinal number may be represented by the least ordinal in its bijection class.

Back to article page