Preuve de l'existence d'une borne SUP dans un ensemble muni d'une relation d'ordre..?
(Cliquez-ici pour accéder à la version originale de cette discussion avec couleurs et images)
Posted by: salimo
Preuve de l'existence d'une borne SUP dans un ensemble muni d'une relation d'ordre partielle ?
Posted by: bruce.ml
preuve : trivial
edit : va donc voir ça
-