定義 (分配束) 束 が以下の条件を満たすとき は分配束という． .定義 (イデアル) 半順序集合 の部分集合 が を満たすとき， は のイデアルという． 半順序集合 のイデアルの集合を で表す．命題 (半順序集合のイデアル全体のなす分配束) 半順序集合 のイデア…