for R being non empty asymmetric RelStr
for x, y being Element of R holds
( x <= y iff x < y )