theorem Th10: :: NORMFORM:10

for A, B being non empty preBoolean set
for a, b being Element of [:A,B:] holds
( a c= a \/ b & b c= a \/ b ) by XBOOLE_1:7;