Finitely related group

Symbol-free definition
A group is said to be finitely related if it satisfies the following equivalent conditions:


 * It has a presentation with only finitely many relations
 * It is the quotient of a free group by the normal closure of a finite subset

Stronger properties

 * Finitely presented group
 * One-relator group