束論 https://math.hawaii.edu/~jb/ Posetsに、その有限部分集合のsupとinfを取る操作が加わったものがlattice 参考 https://www.cs-study.com/koga/lattice/explanations_on_concepts_of_posets.html