Дополнение множества

Рассмотрим некоторую систему множеств. Множество U называется универсальным множеством для этой системы, если каждое множество системы является подмножеством U.

Дополнением множества А называется множество , состоящее из тех и только тех элементов универсального множества, которые не входят в множество А.

Пусть , , тогда