Definition:Pointed Set

Definition
A pointed set is an ordered pair $\struct {A, a}$ where:
 * $A$ is a set
 * $a \in A$ is an element.

Also see

 * Definition:Category of Pointed Sets

Generalizations

 * Definition:Multiple Pointed Set