Inclusion map/Definition

The map from a subset to a superset which is the identity map on the subset.