Sea X un conjunto cualquiera no vacío y R una relación de equivalencia.