1. 一数学群的子集,其本身也是群。