Master 1 Logique et théorie des ensembles

Montrer que est une relation d'équivalence dans . Correction a zéro élément. Donc on a . est réflexive. Si. , est un ensemble fini ...