The group (Z,+) of integers is free; we can take S = {1}.
In algebraic topology, the fundamental group of a bouquet of k circles (a set of k loops having only one point in common) is the free group on a set of k elements.