theorem Th109: :: ABCMIZ_1:109

for x, y being Element of VarPoset holds
( x <= y iff y c= x )