Если все элементы В содержатся в А, то говорят, что В — подмножество А.
Запись
B ⊂ A
— В — подмножество А
С помощью диаграмм Виннера это выглядит так:
УНИВЕРСАЛЬНОЕ МНОЖЕСТВО
Введем понятие универсального множества.
Универсальное множество — множество, которое содержит любое множество.
Оно обозначается как U.
Например
M ⊂ U