Relation d'équivalence engendrée