Sistema de Vecindad

Una asignación que asocia a cada punto x de un conjunto X una familia N(x) de subconjuntos de X llamados vecindades de x; estas familias son típicamente no vacías, cada miembro contiene a x o al menos contiene un abierto alrededor de x, y son cerradas por paso a supersets de modo que cualquier supraconjunto de una vecindad es nuevamente una vecindad.