Es el caso del conjunto de las rotaciones en un espacio de 3 dimensiones, que forma una 3-variedad y un grupo.