結果 : lattices as partially ordered sets in discrete mathematics