1. (в математиці, зокрема в теорії груп) Підмножина групи, яка сама є групою відносно тієї самої операції.
2. (в загальному сенсі) Підмножина будь-якої алгебраїчної структури (моноїда, напівгрупи), яка замкнута відносно заданої операції та сама утворює структуру того ж типу.