Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Cardinalité (mathématiques)En mathématiques, la cardinalité est une notion de taille pour les ensembles. Lorsqu'un ensemble est fini, c'est-à-dire si ses éléments peuvent être listés par une suite finie, son cardinal est la longueur de cette suite, autrement dit il s'agit du nombre d'éléments de l'ensemble. En particulier, le cardinal de l'ensemble vide est zéro. La généralisation de cette notion aux ensembles infinis est fondée sur la relation d'équipotence : deux ensembles sont dits équipotents s'il existe une bijection de l'un dans l'autre.
Ensemble des parties d'un ensembleEn mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide). Soit un ensemble. L'ensemble des parties de est l'ensemble, généralement noté , dont les éléments sont les sous-ensembles de : Il est également parfois noté , ou (gothique), ou encore (P de Weierstrass). Dans la théorie des ensembles de Zermelo, l'existence, pour tout ensemble , d'un tel ensemble , est postulée par l'axiome de l'ensemble des parties, et son unicité résulte de l'axiome d'extensionnalité.
Nombre cardinalvignette|Le nombre cardinal des deux ensembles X et Y est 4 En linguistique, les nombres entiers naturels zéro, un, deux, trois, etc. s’appellent des adjectifs numéraux cardinaux. En théorie des ensembles, le nombre cardinal ou cardinal d'un ensemble E (fini ou infini) est, intuitivement, le « nombre » d'éléments lui appartenant. On peut définir formellement ce « nombre » comme la classe de tous les ensembles équipotents à E (c'est-à-dire en bijection avec E), ou, de manière fort différente, comme le plus petit ordinal équipotent à E.
Axiome de l'ensemble des partiesEn mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel. L'axiome affirme l'existence pour tout ensemble E, d'un ensemble auquel appartiennent tous les sous-ensembles de E, et seulement ceux-ci. Un tel ensemble est nommé ensemble des parties de E, d'où le nom de l'axiome. Cet axiome s'écrit dans le langage formel de la théorie des ensembles, qui est un langage égalitaire du premier ordre avec la relation d'appartenance comme seul symbole primitif non logique.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Catégorie des ensemblesEn mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Algèbre d'ensemblesLe concept intervient dans l'exposition des bases de la théorie de la mesure, sous des noms assez variés dans les sources en français : outre algèbre d'ensembles, et sa variante corps d'ensembles, on trouve aussi algèbre de Boole de parties, ou plus brièvement algèbre de Boole, voire simplement algèbre, et encore anneau booléen unitaire ou clan unitaire. Cette définition évoque celle d'une tribu ; en les rapprochant on constate immédiatement qu'un ensemble de parties d'un ensemble est une tribu si et seulement si c'est une algèbre d'ensembles stable par réunion dénombrable.
Produit cartésienvignette|Illustration d'un produit cartésien A x B où A={x,y,z} et B={1,2,3}. Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé également ensemble-produit, est l'ensemble de tous les couples dont la première composante appartient à X et la seconde à Y. On généralise facilement cette notion, valable pour deux ensembles, à celle de produit cartésien fini, qui est un ensemble de n-uplets dont les composantes appartiennent à n ensembles.
Ensemble infiniEn mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. Dans la théorie de Zermelo (Z), l'axiome de l'infini permet de construire l'ensemble N des entiers naturels, qui est alors un ensemble infini.
Ensemble dénombrableEn mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ». Il existe deux usages du mot « dénombrable » en mathématiques, suivant que l'on comprend ou non parmi les ensembles dénombrables les ensembles finis, dont les éléments peuvent être numérotés par les entiers positifs inférieurs à une valeur donnée.
Univers constructibleEn mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté , est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . Il y montrait que cette classe est un de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente.
Véritéthumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité.
Family of setsIn set theory and related branches of mathematics, a collection of subsets of a given set is called a family of subsets of , or a family of sets over More generally, a collection of any sets whatsoever is called a family of sets, set family, or a set system. A family of sets may be defined as a function from a set , known as the index set, to , in which case the sets of the family are indexed by members of .
Ensemble infini non dénombrableUn ensemble infini non dénombrable est un ensemble qui est « trop gros » pour être dénombrable. De manière précise, c'est un ensemble infini qui ne peut être mis en bijection avec les entiers naturels. En présence de l'axiome du choix, cela signifie que son cardinal est strictement supérieur au cardinal du dénombrable. On dit souvent simplement ensemble non dénombrable. L'ensemble des nombres réels en est un exemple. Avec l'hypothèse généralisée du continu, un ensemble des cardinalités infinies non dénombr
Truth functionIn logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly one truth value; and inputting the same truth value(s) will always output the same truth value.
Table de véritéUne table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Upletvignette|Coordonnées XYZ. Basé sur le travail d'InductiveLoad En mathématiques, un uplet (désigné aussi par liste , famille finie, ou suite finie) est une collection ordonnée finie d'objets. Plus précisément, si n est un entier naturel, alors un n-uplet, ou n-uple, ou n-liste est une collection ordonnée de n objets, appelés « composantes » ou « éléments » ou « termes » du n-uplet. En programmation informatique, on trouve une notion équivalente dans certains langages, tels que Python, Rust, OCaml, Scala, Swift ou MDX.
Catégorie cartésienneUne catégorie cartésienne est, en mathématiques — et plus précisément en théorie des catégories — une catégorie munie d'un objet terminal et du produit binaire. Dans une catégorie cartésienne, la notion de morphisme entre morphismes n'a pas encore de sens. C'est pourquoi l'on définit l'exponentiation, c'est-à-dire l'objet B qui représente l'« ensemble » des morphismes de A dans B. Munie de cette propriété de clôture qu'est l'exponentiation, une catégorie cartésienne devient une catégorie cartésienne fermée.
