Definition:Open Cover

Let $$Y$$ be a topological space.

Let $$X$$ be some subset of $$Y$$.

Then an open cover of $$X$$ is any collection $$C$$ of sets all of which are open in $$Y$$ such that $$X$$ is a subset of the union of all the sets in $$C$$.