Дано множество 
и его подмножества 
, 
и 
, причём
, 
, 
.
Пусть
и 
– булеан множества 
, т.е. множество всех подмножеств множества 
.
Тогда истинно утверждение:
и его подмножества , и , причём , , .Пусть
и – булеан множества , т.е. множество всех подмножеств множества .Тогда истинно утверждение:
• 
• 
• 
• 