Computing (FOLDOC) dictionary
Jump to user comments
R is antisymmetric if,
for all x and y, x R y and y R x =@# x == y.
I.e. no two different elements are mutually related.
x R y =@# y R x
x R y =@# x == y
I.e. different elements are not related.