定義
S を順序集合とする。
T を S の部分集合とする。
>>311より T を含む S の下集合全体の共通部分は T を含む最小の下集合である。
これを ↓T と書き T の S における下閉包(down closure)と言う。