引入稳定模糊谓词的概念,讨论稳定模糊谓词的一些基本性质和它的线性运算,建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系.
We introduce the concept of a stable fuzzy predicate which is a stable ruction from a dcpo with consistent intersection into the unit interval [0, 1] . Then, we discuss some basic properties of stable fuzzy predicates and linear opertations on stable fuzzy predicates. Finally, we establish the order-homomorphism relation between ξ- semitopology and fuzzy ξ- semitopology on dcpos with the consistent meets.