appartenance - encyclopédie.

appartenance - encyclopédie. n.f. MATHÉMATIQUES : relation liant un ensemble à ses éléments. Le symbole d'appartenance est le signe m ; h m H se lit : « h appartient à H «. Ce signe a été choisi au début du siècle par ressemblance avec un E, première lettre des mots « est un « ; en effet, si H est l'ensemble des hommes et si h est un élément de cet ensemble, h m H s e lit aussi : « h e st un homme «. Dans la Théorie des ensembles , de Zermelo-Fränckel, la relation d'appartenance est « primitive «, c'est-à-dire qu'elle intervient dans les axiomes selon des règles précisées, mais elle ne fait pas l'objet d'une définition à partir d'autres objets (exactement comme les « points « et les « droites « en géométrie euclidienne). Voir aussi ensembles (théorie des). Complétez votre recherche en consultant : Les corrélats ensembles (théorie des)