for X being non empty set
for R being antisymmetric Relation of X
for x, y being Element of X st x <=_ R,y & y <=_ R,x holds
x = y