x,y 2 sous-ensembles, xRy si et seulement si x union disjoint y est fini, est-ce une relation d'équivalence?