Объединение или сумма.

Пусть имеются множества Объединением или суммой этих множеств называется множество X, состоящее из всех элементов, принадлежащих хотя бы одному из «слагаемых»

При этом, даже если элемент х принадлежит нескольким слагаемым, то он входит в сумму X лишь один раз. Ясно, что

и если