Open Set

topology

Definition

Open Set

Topological Space

In a topological space $(X,\tau )$, an open set is an element of a topology $\tau$.

Metric Space

Every point has an epsilon neighbourhood contained in $S$:

$$\forall s\in S:\exists \epsilon >0:U_{\epsilon }(s)\subseteq S.$$