Correction du Devoir 1 Exercice I
Le lemme de Zorn implique alors que A admet un plus grand élément (A, <). Montrons par l'absurde que l'on doit avoir A = X : sinon, il existe x ? X \ A ; alors ...
Le lemme de Zorn implique alors que A admet un plus grand élément (A, <). Montrons par l'absurde que l'on doit avoir A = X : sinon, il existe x ? X \ A ; alors ...