for X being set
for U being Universe st X in U holds
( bool X in U & union X in U & meet X in U )