Definition:Linearly Independent Sequence