Megjegyzés

Ezzel ekvivalens megfogalmazás: ha egy antiszimmetrikus reláció mindkét irányban fennáll két elem között, akkor a két elem azonos, azaz $a=b$.

Megjegyezzük azonban, hogy visszafelé nem feltétlenül igaz, hogy $a=b$ esetén bármelyik irányban is fennáll a reláció. Ezt a 12.10. Definícióban szereplő reflexivitási tulajdonság hivatott biztosítani.

♣