Оглавление [Скрыть]
Псевдопорядок
-
Определение и свойства псевдопорядка
- Псевдопорядок – это отношение, которое удовлетворяет аксиомам линейного порядка, за исключением транзитивности.
- Псевдопорядок может быть представлен как отношение, в котором каждый элемент меньше или равен любому другому элементу.
-
Примеры псевдопорядка
- Отношение “меньше или равно” на множестве натуральных чисел является примером псевдопорядка.
- Отношение “меньше или равно” на множестве действительных чисел также является примером псевдопорядка.
-
Аксиомы и следствия псевдопорядка
- Аксиомы включают рефлексивность, антисимметричность и транзитивность.
- Следствия включают закон трихотомии и ко-транзитивность.
-
Связь с другими логическими свойствами
- Псевдопорядок связан с квазитранзитивностью, сравнением и другими свойствами.
-
Конструктивные аспекты псевдопорядка
- Псевдопорядок является конструктивно обоснованным, что означает отсутствие опровержения для любой дизъюнкции.
-
Связь с линейным порядком
- Псевдопорядок является частным случаем линейного порядка, который не удовлетворяет транзитивности.
-
Рекомендации и примечания
- В статье приведены рекомендации по форматированию и примечания о свойствах псевдопорядка.