Definition:Pointed Mapping

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {A, a}$ and $\struct {B, b}$ be pointed sets.


A pointed mapping $f: \struct {A, a} \to \struct {B, b}$ is a mapping $f : A \to B$ such that $\map f a = b$.


Also see