紧生成格

compactly generated lattice