Many thanks to all the colleagues who pointed out the mistakes listed here: ** The assertion in exercise 1.4.10(2) is false. Counter-example: Let D be the following finite lattice (hence a dcpo) e | d / \ b c \ / a and let f: D -> D be defined by fd = e and fx = x for x ~= d. f is continuous and f (lub {b,c}) = fd = e ~= lub {b,c} = lub {fb, fc}. ** Exercise 2.1.18 errata 220/2={212,22} corrige 220/2={2120,220}. ** Exercise 6.1.9. F_D(g) should be F_E(g). ** Exercise 6.3.4, pp 129 errata ... specified by the eight axioms of figure 6.2 ... corrige ... specified by the eight axioms of figure 6.3 ...