De hecho, para un Borel "S" dado, "S" denota el conjunto de inversos de elementos de "S".