Let $(X,\tau)$ be a [topological space](/page/Topological%20Space), and let $\mathcal U \subset \tau$. Then $\mathcal U$ is an [open cover](/page/Open%20Cover) of $X$ if and only if for every $x \in X$ there exists $U \in \mathcal U$ such that $x \in U$.