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