flat lattice
def.
集合 A に対して，A の平坦束（flat lttice）とは，A の要素ではない新たな 2 元 $ 0, 1 \notin A を加えた集合 $ A' = A \cup \{ 0, 1 \} および，以下の条件を満たす A' 上の順序関係 $ \sqsubseteq からなる順序集合 $ (A', \sqsubseteq) がなす束のことである． prop.
任意の $ x \in A' に対して $ 0 \sqsubseteq x \sqsubseteq 1
任意の $ x, y \in A に対して，$ x \sqsubseteq y \implies x = y