Отношение включения двух множеств
![](https://st.testna5.ru/images/92c/92c2101fac5fbcb217b525ae636fd982.png)
(быть подмножеством) обладает различными свойствами, в частности, свойством
"если
![](https://st.testna5.ru/images/06e/06e50339871932dd350f222df3f03ee6.png)
и
![](https://st.testna5.ru/images/63a/63a4b46f5070f420d9438fa49b13881f.png)
– множества, то соотношение
![](https://st.testna5.ru/images/212/212af547d62edd0ad7959ff9843c2702.png)
и
![](https://st.testna5.ru/images/cc2/cc284146ca781ab2368f58abe71ebac0.png)
эквивалентно соотношению
![](https://st.testna5.ru/images/1ea/1ea7452cdb71e862af9bb3be6491da23.png)
" (кратко
![](https://st.testna5.ru/images/c6a/c6a9ab52465506d140ef07c98a5d0f72.png)
).
Это свойство включения называется …
транзитивностью
антикоммутативностью
рефлексивностью
антисимметричностью