偏序集上的“小于”关系及覆盖 ·设<A,≤>是偏序集 ·A上的“小于”关系<定义如下： x<y iff x≤yAx≠y ·元素y覆盖x定义如下： ·x<y,且不存在zEA使得x<z<y ·表示为：x《y ·“y是x的覆盖” “y是x的直接后继(immediate successor)”偏序集上的“小于”关系及覆盖 • 设<A, ≼> 是偏序集 • A上的“小于”关系≺定义如下： 𝒙 ≺ 𝒚 iff 𝒙 ≼ 𝒚 ∧ 𝒙𝒚 • 元素y覆盖x定义如下： • x≺y，且不存在zA使得x≺z≺y • 表示为：𝒙 ≪ 𝒚 • “y是x的覆盖” • “y是x的直接后继(immediate successor)