Axiome D'Extensionalité

Un axiome fondamental de la théorie des ensembles affirmant que deux ensembles sont identiques précisément lorsqu'ils ont les mêmes éléments : pour tout ensembles A et B, A = B si et seulement si tout x appartient à A exactement quand x appartient à B.