ABSTRACT
D An open neighborhood of a point x in a topological space S is an open set U containing x.
Afterwards, any open neighborhood will be simply called neighborhood.
Let P be a subset of space S.
D The relative topology on P is defined by
Op = { Un P I U EO} . D A point xeS is a contact point of P if every neighborhood of x contains at least a
point of P.