Отношения между множествами.

Наглядно отношения между множествами изображают при помощи особых чертежей, называемых КРУГАМИ ЭЙЛЕРА (или диаграммами Эйлера – Венна).

Для этого множества, сколько бы они ни содержали элементов, представляют в виде кругов или любых других замкнутых кривых (фигур) – рис.1.

Рис. 1.

1. Пусть даны два множества: X={a; b; c; d} иY={l; k; m; b; c}. Множества Х и Y содержат некоторые одинаковые элементы, а именно “b” и “c”. В данном случае говорят, что множества X иY находятся в отношении ПЕРЕСЕЧЕНИЯ. С помощью кругов Эйлера данное отношение можно представить в виде рис. 2.

X Y B₁ B₂

Рис. 2. Рис. 3.

2. Пусть даны множества B₁={1; 2; 3} и B₂={4; 5; 6}.

Данные множества различны, у них нет одинаковых элементов. В таком случае говорят, что множества B₁ и B₂ находятся в отношении НЕПЕРЕСЕЧЕНИЯ.

С помощью кругов Эйлера данное отношение показано на рис. 3.

3. Пусть даны множества A={a; b; c; d; e} и B={a; b; c}.

Очевидно, что эти множества пересекаются; кроме того, каждый элемент
множества В является в то же время (одновременно) и элементом множества А. Тогда говорят, что множество В ВКЛЮЧЕНО в множество А, или что В есть ПОДМНОЖЕСТВО множества А.