Kgenius, быть может, Вам нужен тот факт, что
алгебра множеств — некоторая непустая совокупность подмножеств произвольного множества, замкнутая относительно конечного числа операций объединения, пересечения и дополнения — является
булевой алгеброй?
Есть даже то, что называют «теоретико-множественным подходом к теории булевых алгебр». Грубо говоря, он состоит в том, чтобы писать
вместо
и т. д.
«Наиболее полно этот подход реализован» в книге:
Сикорский Р. Булевы алгебры. М.: Мир, 1969.
Между прочим, имеет место и кое-что «обратное» факту из первого абзаца…