Теория групп с одним соотношением — это классика комбинаторной теории групп. Я расскажу о различных обобщениях этой науки, сделав упор на относительные копредставления, то есть на группы, которые получаются из какой-то начальной группы путём добавления нескольких образующих и одного соотношения.