An infinite presentation of a group - definition A _finite presentation_ is a presentation where the set of generators and the set of relators are finite (Source) I'm studying for an exam where one of the "exam topics" is: The example of the infinite presentation. **But what is an infinite presentation?** From the finite presentation my first thought was a presentation where the set of generators and the set of relators are both infinite. But since I can't find any example on this in my notes, I suspect that the definition only requires that the set of relators is infinite.

A simple example: Let $A = \\{a_1, a_2, a_3, \dots\\}$ be a set. Let $G$ be the (free) group generated by $A$ subject to $a_i^2 = 1$. The presentation is infinite because the set of generators is infinite.