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