连续信息代数

给出基于自由域信息代数和带论域信息代数上的连续性概念。证明在域集格有最大元的情况下,两种连续性之间是相互对应的。定义了连续信息代数之间的连续映射的概念,证得:若(,ΦD),(Ψ,E)都是强连续的信息代数,则([Φ→Ψ]c,D×E)也是强连续的。