Pointed space

In category theory and related fields in mathematics, a **pointed space** is a type of topological space that has a distinguished point. More formally, a pointed space is a pair \((X, x_0)\), where \(X\) is a topological space and \(x_0 \in X\) is a specified point called the **base point** or **point of interest**.