For A subset of X, F:A->X is the inclusion map if f(a)=a. This is slightly less strong than the identity map.