La topologie est une branche de la géométrie.
Elle se divise elle-même en plusieurs branches : La topologie générale fournit un vocabulaire et un cadre général — une définition axiomatique avec des ensembles — pour traiter des notions de limite, de continuité, et de voisinage.
Une base de topologie sur E est un ensemble de parties de E noté B tel que 1. la réunion des éléments de B est égale à E ; 2. l'intersection de deux éléments de B est une réunion d'éléments de B.
Si B est une base de topologie sur E qui engendre une topologie T , on dit que B est une base de topologie pour T .