# 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.