Système de Voisinage

Une attribution qui associe à chaque point x d'un ensemble X une famille N(x) de sous-ensembles de X appelés voisinages de x ; ces familles sont en général non vides, chaque membre contient x ou au moins contient un ensemble ouvert autour de x, et elles sont stables par passage aux sur-ensembles de sorte que tout sur-ensemble d'un voisinage est encore un voisinage.