Sea ∼ una relación de equivalencia en un conjunto A.