Множество X∪\(\overline{Y}\) состоит из всех элементов, принадлежащих множеству X или не принадлежащих множеству Y. На диаграмме Эйлера-Венна это соответствует объединению круга X и всей области вне круга Y.
Проверка за 10 секунд: Закрашен круг X и вся область вне круга Y.
Доп. профит: База. Объединение множества и дополнения – это все элементы первой группы плюс все, что не входит во вторую.