theorem Th26: :: WAYBEL_8:26

for X, x being set holds
( x is Element of (BoolePoset X) iff x c= X )