海词手机词典
  • 极大紧子群

    [jí dà jǐn zǐ qún]