Definition:Topological Space

Definition
Let $X$ be any set and let $\vartheta$ be a topology on $X$.

That is, let $\vartheta$ satisfy the axioms:

Then the ordered pair $\left({X, \vartheta}\right)$ is called a topological space.

Also known as
The topological space $\left({X, \vartheta}\right)$ can be referred to as just a space if the context is clear.

$\left({X, \vartheta}\right)$ can be referred to as the space $X$ if it is clear what topology is actually carried on it.

Also denoted as
Some authors use the suboptimal $\left\{{X, \vartheta}\right\}$, which leaves it conceptually unclear as to which is the set and which the topology. This adds unnecessary complexity to the underlying axiomatic justification for the existence of the very object that is being defined.