Define the free group on a set <i>S</i>.