辞海

释义：zǐ qún
1. 一数学群的子集,其本身也是群。