élément

En mathématiques, l’appartenance est une relation non symétrique entre ensembles, ou plus généralement entre objets et classes. On écrit pour signifier que l'objet appartient à la classe . En théorie des ensembles usuelle : l'axiome d'extensionnalité précise que chaque ensemble est caractérisé 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 (antiréflexivité) ; l'appartenance n'est pas transitive, contrairement à la relation d'inclusion.