Приветствую Вас, уважаемые Читатели! В прошлой статье я рассказывал Вам о математических кварках - бинарных отношениях, которые называются рефлексивность, симметричность и транзитивность. Сегодня пришло время сконструировать из них структуру, лежащую в основе порядка - т.н. предпорядок или квазипорядок. Итак, предпорядок - это одновременно рефлексивное и транзитивное соотношение. Если из суждения А следует суждение B, а из суждения B следует суждение С, то из суждения А следует суждение С. Так же можно сказать, что из любого суждения следует оно же...

Приветствую Вас, уважаемые Читатели! Казалось бы, порядок - это общеупотребимое понятие. Первый порядок, который часто обсуждается в начальной школе, - это стандартный порядок натуральных чисел, например, "2 меньше 3", "10 больше 5" или "У Маши меньше печенья, чем у Саши?". Эта интуитивная концепция может быть распространена на порядки в других наборах чисел, таких как целые и действительные числа, и в дальнейшем не только на числа, но и на множества и другие алгебраические структуры. В теории...