Supongamos que tenemos una relación de equivalencia en un conjunto $X$.