20.5. Изобразите на диаграмме Эйлера множества X и Y, для которых выполняются соотношения: а) X∩Y=X; б) X∪Y=X; в) X∪Y=∅.

а) Условие X∩Y=X означает, что X⊆Y.

б) Условие X∪Y=X означает, что Y⊆X.

в) Объединение пусто только тогда, когда оба множества пусты: X=Y=∅. На диаграмме оба множества не имеют элементов.

Ответ: а) X⊆Y; б) Y⊆X; в) X=Y=∅.