定義（完備束） 束 L = ＜L,∨,∧＞の任意の無限部分集合に対して、その結びと交わりが存在するとき、L は完備束（complete lattice）と呼ばれる。また、L の任意の”可算”無限部分集合に対して結びと交わりが存在するとき、L はσ完備束（σ-complete lattice）…