Para todo a, b de A, si se cumple que a está relacionado con b y b está relacionado con a, entonces a es igual a b.