(Mathematics)

A map of an inclusion i : S -> X, a function defined by i (s) = s for all s in S.