Si "S" es un subconjunto de "X", un entorno de "S" es un conjunto "V", que contiene un conjunto abierto "U" que contiene a "S".