Definition:Open Set/Topology

From ProofWiki
Jump to navigation Jump to search

Definition

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

Then the elements of $\tau$ are called the open sets of $T$.


Thus:

$U \in \tau$

and:

$U$ is open in $T$

are equivalent statements.


Also see

  • Results about open sets can be found here.


Sources