for X being ARS
for x, y, z being Element of X st x <==> y & y <=01=> z holds
x <=*=> z