Archimedisk ordning, se ordnet mængde.