lemme de Zorn

lemme de Kuratowski-Zorn

FONDEMENTS DES MATHEMATIQUES

Le lemme de Zorn est un théorème de la théorie des ensembles qui affirme :
Tout ensemble inductif admet au moins un élément maximal.
Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer, examiner ».
En théorie des ensembles, un ensemble, désigne intuitivement une collection d’objets que l’on appelle éléments.
Un ensemble inductif est un ensemble ordonné où toutes les chaines d’éléments admettent un majorant.