yR[x]={y|xRy} (es decir, laR -imagen dex) se llama la claseR -equivalencia (brevementeR -clase) dex enA; ella consiste en todos los elementos que sonR -equivale...yR[x]={y|xRy} (es decir, laR -imagen dex) se llama la claseR -equivalencia (brevementeR -clase) dex enA; ella consiste en todos los elementos que sonR -equivalentes ax y por lo tanto a cada otro (paraxRy exRz implica primeroyRx, por simetría, yyRz, por lo tanto por transitividad).