generated at
束 (lattice)

任意の2元a,bについて
直積として交わり meet:a\wedge b
余直積として結び join:a\vee b