You can always find abasisfor contained in then extend it to a basis for . Define for , T(v)= 0 for v in the extended basis. T(v) is defined "by linearity" for all other v in . That is, since , we can write and then . Then Tv= 0 if and only if v is in the subspace.