Una relación de equivalencia es una relación binaria que es reflexiva, simétrica, y transitiva.