В теории множеств порядковым числом, или ординалом (лат. ordinalis — порядковый) называется порядковый тип вполне упорядоченного множества.