Showing that the image of a subspace under a transformation is also a subspace. Definition of the image of a Transformation.