Порядковый тип вполне упорядоченного множества.