Una relación de equivalencia R incluido en AxA, se da cuando R cumple las propiedades de reflexiva, simétrica y transitiva.