Множество В является подмножеством множества А тогда и только тогда, когда каждый элемент множества В является элементом множества А.
Отношение “включено” обозначается знаком Ì.
Соответственно отношение “включает” – знаком É.
Определение 1.1 символически записывается так: ВÌА или АÉВ. С помощью кругов Эйлера данное отношение между множествами показано на рис.4.
Из определения подмножества следует, что всякое непустое множество А содержит по крайней мере два
множества: Ø и А, которые называются НЕСОБСТВЕННЫМИ
ПОДМНОЖЕСТВАМИ МНОЖЕСТВА. Все остальные подмножества (если они существуют) называются СОБСТВЕННЫМИ ПОДМНОЖЕСТВАМИ МНОЖЕСТВА. То есть, если В – собственное подмножество множества А, то имеем: ØÌ ВÌА, или иначе: АÉВÉ Ø.
4. Пусть даны множества C={x; y; z}, D={x; y; z}, которые состоят из одних и тех же элементов. В таком случае говорят, что множества С иD равны и пишут C=D.