Definition:Adherent Point/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T = \struct {S, \tau}$ be a topological space.

Let $H \subseteq S$.


A point $x \in S$ is an adherent point of $H$ if and only if every open neighborhood $U$ of $x$ satisfies:

$H \cap U \ne \O$


Also see

  • Results about adherent points can be found here.


Sources