The semigroup H and its closure have a further piece of structure inherited from G, namely inversion on G extends to an antiautomorphism of H and its closure, which fixes the elements in exp C and its closure. For