The SlugMath Wiki is under heavy development!

# Def/Topological space

Definition of Topological space: A topological space is an ordered pair $(X,T)$, where $X$ is a set, and $T$ is set of subsets of $X$, which satisfies the following axioms:

• If $S \subset T$, then $\bigcup S \in T$. This includes the "empty union", i.e., if $S = \emptyset$, then $\bigcup S = \emptyset \in T$.
• If $S \subset T$, and $S$ is finite, then $\bigcap S \in T$. This includes the "empty intersection", i.e., if $S = \emptyset$, then we define $\bigcap S = X$, and so $X \in T$.

$T$ is called a topology on $X$, and the elements of $T$ are called the open subsets of $X$ (for the topology $T$).

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Subset, Def/Finite (set)

The following statements and definitions logically rely on the material of this page: Def/Compact, and Def/Continuous function (in topology)

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Topology