множества элементов, которые связаны между собой определенными операциями, такими как сложение, умножение или композиция функций. При этом подгруппа является частью группы и также является группой по отношению к тем же операциям, но с ограничением на множество элементов, которое в нее входит.