偏序关系的一个应用
편서관계적일개응용