Definition:Multiple Pointed Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $I$ be a set.


An $I$-pointed set is an ordered pair $\left({A, f}\right)$ where:

$A$ is a set
$f : I \to A$ is a mapping


Also see


Generalizations