Una relación formula_20 que es reflexiva, simétrica y transitiva se dice "relación de equivalencia".