Definition:Open Cover/Subset

From ProofWiki
Jump to navigation Jump to search


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

Let $H$ be a subset of $S$.

Let $\CC$ be a cover of $H$.

Then $\CC$ is an open cover for $H$ if and only if:

$\CC \subseteq \tau$

That is, if and only if all the elements of $\CC$ are open sets.