Підгрупа

підмножина деякої групи, яка сама є групою щодо операції, визначеної в цій групі