若是定义在上的由普通“小于或等于”关系构造的积偏序，则有()