Appartenance (mathématiques)
relation mathématique formalisant qu'un élément est dans un ensemble / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Symbole d'appartenance?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir appartenance.
Ne pas confondre avec la relation d'inclusion.
En mathématique ensembliste, l’appartenance est une relation entre un élément et un ensemble, et également par abus de notations une relation entre un objet et une classe.
On écrit pour signifier que l'élément appartient à l'ensemble , ou que l'objet appartient à la classe .
L'axiome d'extensionnalité donne un rôle important à la relation d'appartenance, car elle permet de caractériser un ensemble par les éléments qui lui appartiennent. L'axiome de fondation énonce que la relation d'appartenance est bien fondée, ce qui interdit notamment qu'un ensemble puisse être élément de lui-même[Note 1]. L'appartenance n'est ni symétrique, ni transitive[Note 2], ni réflexive.