Inclusion map (source code)

= Inclusion map
{wiki}

For a subspace $A\subseteq X$, the inclusion map is the <injective function> $i:A\to X$ given by $i(a)=a$.

= Inclusion maps
{synonym}