A cpo is coherently complete just if all of its coherent subsets have a least upper bound.
A subset is coherent just if any two have an upper bound in (not necessarily in !).
All domains appearing in the model of PCF are coherently complete [Streicher 2006].
Coherent complete cpos are similar to that of consistently complete cpos.
However, consistently complete cpos require every subset with an upper bound (or, equivalently, every finite subset with an upper bound) to have a supremum.
In contrast, coherent complete cpos do not ask that the entire subset has an upper bound, only that any two of its elements have an upper bound. Thus, the coherence here is pairwise rather than collective.
Streicher, Thomas. Domain-Theoretic Foundations of Functional Programming. World Scientific, 2006.
@book{streicher_domain-theoretic_2006,
title = {Domain-theoretic Foundations of Functional Programming},
publisher = {World Scientific},
author = {Streicher, Thomas},
date = {2006},
file = {Streicher - 2006 - Domain-theoretic Foundations of Functional Program.pdf:/Users/lambdabetaeta/Zotero/storage/CWBJKQDH/Streicher - 2006 - Domain-theoretic Foundations of Functional Program.pdf:application/pdf},
}