\begin{definition}[Definition:Locally Compact Space]
Let $T = \struct {S, \tau}$ be a topological space.
Then $T$ is '''locally compact''' {{iff}}:
: every point of $S$ has a neighborhood basis $\BB$ such that all elements of $\BB$ are compact.
\end{definition}