Ordre partiel complet
De Wikipedia, l'encyclopédie encyclopedia
En mathématiques, le terme ordre partiel complet recouvre plusieurs classes de relations d'ordre qui satisfont certaines conditions d'existence de bornes supérieures. L'étude des ordres partiels complets se rattache à la théorie des domaines. Elle joue un rôle central en informatique théorique, où elle permet de définir des sémantiques dénotationnelles pour les langages de programmation.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.
Ne pas confondre avec les treillis complets, parfois également appelés ordres partiels complets.
Pour les articles homonymes, voir CPO.