Definition:Linearly Independent Set of Real Vectors