Definition:Topological Space

Definition
Let $S$ be a set.

Let $\tau$ be a topology on $S$.

That is, let $\tau \subseteq \powerset S$ satisfy the open set axioms:

Then the ordered pair $\struct {S, \tau}$ is called a topological space.

The elements of $\tau$ are called open sets of $\struct {S, \tau}$.

In a topological space $\struct {S, \tau}$, we consider $S$ to be the universal set.

Also known as
The topological space $\struct {S, \tau}$ can be referred to as just a space if the context is clear.

$\struct {S, \tau}$ can be referred to as the space $S$ if it is clear what topology is actually carried on it.

Also denoted as
Some authors use the suboptimal $\set {S, \tau}$, 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.