Копредставление

Группы — задание группы ее образующими и соотношениями между ними.