Pointed set

Set

context $ X $
definiendum $ \langle X,x_0 \rangle \in \mathrm{it} $
postulate $x_0\in X$

Discussion

Reference

Wikipedia: Pointed set

Parents

Context

Ordered pair