axiome de Zorn : principe fondamental en théorie des ensembles, stipulant que si chaque chaîne d'un ensemble partiellement ordonné a une borne supérieure, alors cet ensemble possède au moins un élément maximal.
Dans un contexte mathématique, l'axiome de Zorn est souvent utilisé pour prouver l'existence d'éléments maximaux dans des structures complexes.
Par exemple, dans l'étude des espaces vectoriels, on peut appliquer l'axiome de Zorn pour démontrer l'existence d'une base de l'espace.
De même, l'axiome de Zorn est crucial dans la démonstration de certains résultats en théorie des ordres et en topologie.
