Si "(X,Τ)" es un espacio topológico y "p" es un punto perteneciente a "X", un entorno de "p" es un conjunto "V" que contiene un conjunto abierto "U"; este tiene como elemento al punto "p",