Через
обозначаются порядковые типы множеств натуральных чисел, целых чисел, рациональных чисел и действительных чисел соответственно с их естественным порядком. Если
есть порядковый тип множества
A , то через
обозначается порядковый тип множества
A с двойственным порядком. Выбрать верное утверждение: