# Definition:Pointed Set

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