Égalité de deux ensembles
Définition : Égalité
Deux ensembles et sont égaux s'ils contiennent les mêmes éléments.
Formellement :
Méthode :
De la même façon que l'équivalence correspond à une double implication, l'égalité de deux ensembles est équivalente à une double inclusion : .
Pour démontrer une telle égalité, on peut donc procéder en deux étapes : montrer la première inclusion, puis la seconde.
