Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.
Plonge dans l'invariance du théorème de domaine, prouvant qu'un sous-ensemble homéomorphe à un sous-ensemble ouvert est ouvert lui-même, avec des implications pour les incorporations et les homéomorphismes.
Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.
