Нестрогое включение отношения в отношение выполняется тогда и только тогда, когда множество упорядоченных пар, для которых выполняется отношение , содержится содержится в множестве пар, для которых выполнено отношение :
.
Строгое включение отношения в отношение выполняется тогда и только тогда, когда множество упорядоченных пар отношения является подмножеством пар отношения и :
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление