Проверьте является ли отношение рефлексивным
Отношение частичного порядка также называют нестрогим порядком англ. Материал из Викиконспекты. Перейти к: навигация , поиск. Категории : Дискретная математика и алгоритмы Отношения.
Проверьте с помощью матрицы [P2]
Декартовым произведением двух множеств X и Y называется множество всех упорядоченных пар x,y таких, что , а. Пример 1. Тогда ,.
ЧУМ — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности. Неформально, множество частично упорядочено, если указано, какие элементы следуют за какими какие элементы больше каких. В общем случае может оказаться так, что некоторые пары элементов не связаны отношением «следует за». В основе этого определения находится свойство продолжаемости частичного порядка до линейного. Отношение, удовлетворяющее условиям рефлексивности, транзитивности и антисимметричности, также называют нестрогим , или рефлексивным порядком. Если условие рефлексивности заменить на условие антирефлексивности тогда свойство антисимметричности заменится на асимметричность :.
Поиск Написать публикацию. Время на прочтение 14 мин. Прочие статьи цикла Отношения. Часть I Отношения. Часть II. Литература 1.