Given a subset <i>S</I> of a group, define <i>W</i>(<i>S</i>).