Esta relación de equivalencia tiene importantes propiedades que se siguen inmediatamente de la definición: