完全格

complete lattice