近年来, 偏序集, 尤其是某类具有逼近性质的偏序集, 在计算机科学中变得越来越重 要, 对于一个给定的偏序集