theorem Th2: :: YELLOW_1:2

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