[网络] 压实 compactizations: [网络] 紧凑化 compactivity: 压缩性 compactly generated group: [数] 紧密生成群 compactive: adj.压实的 compactly generated lattice: 紧生成格 下载手机词典可随时随地查词查翻译