Otra relación de equivalencia sobre un conjunto formula_1 es el mismo producto cartesiano formula_74, que en este caso se llama comúnmente "relación grosera".