Definition of linearly indepentent set of vectors: if a linear combination is zero, then every coefficient is zero, arbitrary vector space. math.la.d.vec.linindep.arb
Definition of basis of a vector space (or subspace), coordinate vector space math.la.d.vsp.basis.coord