тотального порядка то на нем тоже есть тотальный порядок? Причём независимо от того что за порядок.
Это очевидно но надо картинку.
Upd. Выдумали что-то через категорию скрученных стрелок. Но буду рад другим предложениям.
А что такое тотальный порядок как не подмножество множества пар с определёнными свойствами? Мне кажется, что это очевидное следствие схемы выделения
Обсуждают сегодня