Cтраница 1
Порядковые типы о, тс, т, X не являются порядковыми числами, ибо это суть типы упорядоченных, но не вполне упорядоченных множеств. [1]
Порядковый тип со Р ( М, ) множества N, упорядоченного по величине, является наименьшим, бесконечным ординалом. [2]
Порядковые типы счетных ( бесконечных) множеств называются счетными ( бесконечными) ординалами. [3]
Порядковый тип Т есть а0 - Следовательно, X имеет по меньшей мере мощность некоторого вполне упорядоченного множества типа ао. [4]
Порядковый тип ( не являющийся порядковым числом. [5]
Порядковый тип вполне упорядоченного множества называется порядковым числом. [6]
Порядковый тип вполне упорядоченного множества называется порядковым числом или трансфинитом. [7]
Порядковые типы вполне упорядоченных множеств называются ординальными или порядковыми числами. [8]
Порядковому типу ы отвечает мощность NO-Мощностью NO могут обладать счетные множества различного порядкового типа. Оказывается число различных порядковых типов, отвечающих мощности NQ несчетно. [9]
Его порядковый тип принято обозначать символом со. [10]
Если порядковые типы MI и Мз есть в и 021 то для М MI это будет вг вг. [11]
Для порядковых типов определены также процедуры инкремента Inc и декремента Dec. Эти процедуры соответственно увеличивают или уменьшают на единицу порядковый номер своего аргумента. [12]
Для порядковых типов ( см. разд. [13]
Мощностью порядкового типа А называется А. [14]
Для порядковых типов понятия больше и меньше не устанавливают, а для порядковых чисел их можно ввести естественным путем. [15]