Ordre partiel complet (informatique)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
 Ne pas confondre avec ce qu'en mathématiques on appelle aussi ordre partiel complet ou treillis complet
image illustrant l’informatique
Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Un ordre partiel complet (complete partial order ou CPO) est un ensemble partiellement ordonné dont toutes les chaînes ont une borne supérieure.

Cette définition équivaut à celle d'ensemble inductif strict avec plus petit élément.

La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique.

Voir aussi[modifier | modifier le code]

Théorème du point fixe de Kleene