Sea V un espacio vectorial de dimensión finita con base B = {v1, v2, . . . , vn}. Sean w1, w2, . . . , wn vectores en W. Suponga que T1 y T2 son dos transformaciones lineales de V en W tales que T1vi = T2vi = wi para i = 1, 2, . . . , n. Entonces para cualquier vector v ∈ V, T1v = T2v; es decir T1 = T2.