Open Set

analysis

Definition

Open Set

An open set is a generalisation of an open interval.

Let $S$ be a set:

$$S\text{is open}⟺\forall s\in S:\exists \epsilon >0:U_{\epsilon }(s)\subseteq S$$

All elements of the set $S$ have an epsilon neighbourhood that is part of $S$.