For a Linear Map, the image is the set of all outputs. Image(T)={w∈W:w=T(v) for some v∈V} Theorems Image is a Subspace Image and Columns Procedure 1 Rank Nullity Theorem Bases for Images and Kernel Procedure 2 Image and Surjectivity Theorem Computing Images Image and Spans Theorem