∑
MathTCG
#079 / 100•Space, Chance & Computation•MathTCG #479 / 500•★Commune•∀Logique•Concept

Ensemble vide

Période historique : 1880

L'unique ensemble ne contenant aucun élément, noté ∅, sous-ensemble de tout ensemble.

Contenu & Formulation mathématique

Définition rigoureuse
L'unique ensemble ne contenant aucun élément, noté ∅, sous-ensemble de tout ensemble.
∅={x∣x≠x},∀A, ∅⊆A,∣∅∣=0\emptyset = \{ x \mid x \ne x \}, \quad \forall A, \, \emptyset \subseteq A, \quad |\emptyset| = 0

Genèse & Portée historique

Élément neutre pour l'union et absorbant pour l'intersection, l'ensemble vide a un cardinal de zéro. Dans la construction axiomatique des entiers par von Neumann, le zéro est défini comme l'ensemble vide : 0 = ∅, 1 = {∅}, 2 = {∅, {∅}}, etc.

Le symbole scandinave ∅ a été introduit par André Weil et le groupe Nicolas Bourbaki en 1939 pour éviter la confusion avec la lettre grecque Phi ou le zéro ordinaire.

« Le rien formalisé en objet : le socle silencieux sur lequel repose tout édifice ensembliste. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#479
★Commune
∀

Ensemble vide

Logique•CONCEPT

L'unique ensemble ne contenant aucun élément, noté ∅, sous-ensemble de tout ensemble.

∅={x∣x≠x},∀A, ∅⊆A,∣∅∣=0\emptyset = \{ x \mid x \ne x \}, \quad \forall A, \, \emptyset \subseteq A, \quad |\emptyset| = 0
1880

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.

Extension : Space, Chance & Computation (#079 / 100)
Numéro global MathTCG : MathTCG #479 / 500
Rareté officielle : Commune (★)
Domaine théorique : Logique
Identifiant pérenne : ensemble-vide