Claramente, la relación ∼ es de equivalencia.