 Antisymmetric relation

ID: antisymmetric-relation

A relation

R

is antisymmetric when

x R y

and

y R x

together imply

x = y

 New to topics? Read the docs here!