The reflexive domain of CPO's ideals

A reflexive structure is a triple (D, i,j), where D is an algebraic structure, and i : [D —• D] —> D, j : D —• [D —• D] are mappings such that i o j = id[D-tD\- W e study reflexive structures in which the basic algebraic structure is a complete partially ordered set (cpo), and only continuous functions over cpo's axe considered. W e use the concepts, notations, results and techniques of domain theory [4, 7, 9]. W e work with the ideals of some special cpo's. W e present a reflexive domain of these ideals