偏序关系中盖住关系的求取及格论中有补格的判定 第4页