\begin{definition}[Definition:Locally Finite Cover]
Let $T = \struct {S, \tau}$ be a topological space.
Let $\CC$ be a cover of $S$.
Then $\CC$ is '''locally finite''' {{iff}} each element of $S$ has a neighborhood which intersects a finite number of sets in $\CC$.
\end{definition}