Couvre la définition de la rétraction, des sous-groupes ouverts, des fonctions de définition locales, des espaces tangents et des métriques riemanniennes.
Explore les espaces tangents en tant que directions de mouvement libre sur des sous-groupes, offrant une notion de linéarisation géométriquement satisfaisante.