设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为......

研究对象是带有偏序逼近族的偏序集（posets withfamilies of approximating partial orders，简称R-偏序集），目的在于探索R-偏序集这一......