In mathematics, if A{\displaystyle A} is a subset of B{\displaystyle B}, then the inclusion map (also inclusion function, insertion, or canonical injection) is the function ι{\displaystyle \iota } that sends each element, x{\displaystyle x}, of A{\displaystyle A} to x{\displaystyle x}, treated as an element of B{\displaystyle B}: