TD no 1 : Ensembles, relations et cardinalité - math.ens.psl.eu

Dans cet exercice, on suppose que l'axiome du choix est vrai, et on admet qu'il implique le lemme de Zorn : Soit X un ensemble ordonné non vide, ...