论文部分内容阅读
设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为R-偏序集，记为（A， ；R）．若任意n∈ω，An=（A， n）是cpo，且对n∈ω，令Fn表示关于 n的Scott拓扑，本文给出了Fn弱于Fn＋1的一个充分条件，以及它的简单应用．