In this paper, an extension theorem on Z-complete posets is given, and it is proved that the category of ZP is a Cartesian closed category.

• 给出Z-完备集上的一个扩张定理；证明范畴ZP是一个笛卡儿闭范畴.