El grupo (Z,+) de enteros bajo la adición es libre; se puede tomar "S" = {1}.