Definition:Open Cover/Subset

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources