Obviamente se espera que la relación binaria anterior sea antisimétrica, es decir: