1. 一數學群的子集,其本身也是群。