CatGloss

The actual identification process consists in passing from the original set to a new set whose elements are the $ R $ - equivalence classes