Definition:Pointed Set

From ProofWiki
Jump to navigation Jump to search

Definition

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

$A$ is a set
$a \in A$ is an element.


Also see


Generalizations