Отношение включения двух множеств
(быть подмножеством) обладает различными свойствами, в частности, свойством
"если
и
– множества, то соотношение
и
эквивалентно соотношению
" (кратко
).
Это свойство включения называется …
транзитивностью
антикоммутативностью
рефлексивностью
антисимметричностью