pointed_set

Processing math: 100%

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