1. TopologieFamille de voisinages d'une partie Y donnée telle que tout voisinage de Y contient l’un des voisinages de la famille.On dit que F est une base de voisinages de a (ou un système fondamental de voisinages de a) si les éléments de F sont des voisinages de a et tout voisinage de a contient un élément de F, ou, ce qui est équivalent, si les voisinages de a sont exactement les parties de E contenant un élément de F.