Le but de cette note est de remarquer qu'on obtient une classe établissant un ordre dans l'ensemble donné M, en considérant une classe ℳ qui vérifie les quatres conditions suivantes: 1. Les éléments de classe ℳ sont des sous-ensembles (différents de M); 2. De deux ensembles-éléments de ℳ l'un est toujours contenu dans l'autre; 3. X étant un ensemble-élément de ℳ , il existe un élement x de X qui n'est pas élément d'aucun ensemble-élément de ℳ contenu dans X; 4. La classe ℳ est saturée par rapport à la propriété de satisfaire aux coonditions 1, 2 et 3.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW