inclusion map

In mathematics, if is a subset of , then the inclusion map (also inclusion function, insertion, or canonical injection) is the function  that sends each element, of to , treated as an element of :

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