该文证明了有最小元的Exact偏序集(弱Domain)的乘积为Exact偏序集(弱Domain),Exact Domain在保定向并的投射算子、具有下伴随的投射算子或具有下伴随且保定向并的满映射下的像仍为Exact Domain,文中还讨论了Exact偏序集的基.
In this paper, it is proved that the product of exact posets (reps. weak domains)with the least element is still an exact poset (reps. a weak domain), and the images of exactdomain under a projection operator which preserves directed sups or has a lower adjoint oran onto mapping which has a lower adjoin and preserves directed sups. Also in the paper, the basis of an exact poser is investigated.