Пустое и универсальное множества

Определение 1.1. В теории множеств отдельно вводится множество, которое не содержит ни одного элемента. Такое множество называется пустым и обозначается символом Æ.

В любой конкретной задаче приходится иметь дело только с подмножествами некоторого, фиксированного для данной задачи, множества. Его принято называть универсальным и обозначать символом U.

Например, при сборке некоторого изделия универсальным множеством естественно назвать множество всех деталей и сборочных элементов, из которых это изделие состоит.

Если мы рассматриваем множества, связанные с какими-нибудь фигурами на плоскости, то в качестве универсального множества можно выбрать множество всех точек плоскости.

Определение 1.2. Два множества A и B называются равными (A = B), если они состоят из одних и тех же элементов. Поэтому несуществен порядок записи в фигурных скобках элементов множества, задаваемого списком, т.е. { a, b, c } = { a, c, b }.

Определение 1.3. Множество A называется подмножеством множества B, если любой элемент множества A принадлежит множеству B. При этом пишут A Ì B, где " Ì " есть знак вложения подмножества. Из определения следует, что для любого множества A справедливы, как минимум, два вложения A Ì A и A Ì U.

Определение 1.4. Если A Ì B и A ¹ B, A ¹ Æ, то A называется