ordinaltal
Ordinaltal, tal, der entydigt kan nummerere elementerne i velordnede mængder, dvs. ordnede mængder, hvor hver ikke-tom delmængde har et første element. Hvert ordinaltal defineres ofte som mængden af mindre ordinaltal. Herved bliver det første ordinaltal, 0, lig den tomme