In mathematics, if is a subset of then the inclusion map is the function $\iota$ that sends each element of to treated as an element of

An inclusion map may also be referred to as an inclusion function, an insertion, or a canonical injection.

A "hooked arrow" is sometimes used in place of the function arrow above to denote an inclusion