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