Branche des mathématiques, appelée initialement analysis situs (analyse de situation), devenue ensuite tout à fait autonome, et où, selon Riemann, on étudie les propriétés invariantes sous l'effet de transformations biunivoques continues.
Ensemble T; de parties — appelées ouverts de T; — d'un ensemble E, possédant les trois propriétés suivantes : 1° ∊ T; et E ∊ T; ; 2° l'intersection d'un nombre fini d'éléments de T; est un élément de T; ; 3° la réunion d'un nombre quelconque d'éléments de T; est un élément de T;.