Отношение включения двух множеств
![](https://st.testna5.ru/images/151/151415a36ee0a40147a3e30885a766bc.png)
(быть подмножеством) обладает различными свойствами, в частности, свойством
"если
![](https://st.testna5.ru/images/2f5/2f57a8fa15cf6dfdde0550f50134adc4.png)
и
![](https://st.testna5.ru/images/b1d/b1d162463828dcec70033dd639178abc.png)
– множества, то соотношение
![](https://st.testna5.ru/images/e16/e165ffb37c1c7a568b89904ff2e9054d.png)
и
![](https://st.testna5.ru/images/f3e/f3e9a77e8d1cffe7334c998da18cc375.png)
эквивалентно соотношению
![](https://st.testna5.ru/images/948/9486d638d4303598c8968e5a8097a94a.png)
" (кратко
![](https://st.testna5.ru/images/446/446ad4a6f82400dfb47a5e24ff7b01cc.png)
).
Это свойство включения называется …
транзитивностью
антикоммутативностью
рефлексивностью
антисимметричностью