Tanımı şöyle de verebiliriz.
$X$ herhangi bir küme ve $\tau\subseteq\mathcal{P}(X)$ olmak üzere
$$\tau,\,\ X\text{'de topoloji}:\Leftrightarrow \left\{\begin{array}{ll} 1) & (\mathcal{A}\subseteq\tau)(|\mathcal{A}|<\aleph_0)\Rightarrow \bigcap\mathcal{A}\in\tau \\ \\ 2) & \mathcal{A}\subseteq\tau\Rightarrow \bigcup\mathcal{A}\in\tau\end{array}\right.$$
$$(X,\tau), \text{ topolojik uzay}:\Leftrightarrow \tau, \ X\text{'de topoloji}$$