Pointed set
= Pointed set
{wiki=Pointed_set}
In category theory, a **pointed set** is a type of set that has a distinguished element, often referred to as the "base point." Formally, a pointed set can be defined as a pair \\((X, x_0)\\) where: - \\(X\\) is a set. - \\(x_0 \\in X\\) is a distinguished element of \\(X\\) called the base point.