二、同构和投影 　　定义8.2.5 　　定义8.2.6 　　定义8.2.7 　　定义8.2.8 　　定义8.2.9 　　定义8.2.10（Scott域D∞的构成） 　　引理8.2.3 <0,ψ0> 是由D1到D0的一个投影. 　　证明 略。 　 　　引理8.2.4 <n,ψn >是由Dn+1到Dn的一个投影。 　　证明 略 　　定理8.2.1 D∞是l-演算系统的一个模型。 　　该定理的证明相当长，略