Отношение R является антисимметричным, если и только если для любых объектов х, у верно, что если х находится в отношении R к у, а также у находится в отношении R к х, то х=у
Т.е. (если хRy и уRx, то х=у)