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