Sea X un conjunto no vacío y R una relación de equivalencia en X (o sea que es reflexiva, simétrica y transitiva).