La propiedad "↔" es una relación de equivalencia.