Закон трихотомии
- Закон трихотомии в математике утверждает, что каждое действительное число является положительным, отрицательным или равным нулю.
- Бинарное отношение R на множестве X является трихотомическим, если выполняется ровно одно из трех условий: xRy, yRx или x = y.
- Трихотомическое отношение является асимметричным и взаимосвязанным.
- Если трихотомическое отношение является транзитивным, оно имеет строгий общий порядок.
- Закон трихотомии чисел обычно выражает трихотомическое отношение упорядочения на множестве чисел X.
- В классической логике аксиома трихотомии справедлива для сравнения между действительными числами, целыми числами и рациональными числами.
- В интуиционистской логике закон трихотомии не выполняется в целом.
- В теории множеств Цермело-Френкеля и теории множеств Бернейса закон трихотомии соблюдается между кардинальными числами хорошо упорядочиваемых множеств.
Полный текст статьи: