7.6 界面反演与局部有限偏序集