Equivalence theorem: the linear transformation given by T(x)=Ax is one-to-one/injective.

math.la.t.equiv.lintrans.injective