Para cada "s" ∈ "S", se toma un nuevo símbolo "s" (llamado "inverso de s"), y se supone que no está en "S".