Free group of countable rank

Definition
This group, which might be called the free group of countable rank, is defined as a free group on a countably infinite generating set. Alternatively, it is a free group that is countable but not finitely generated.