Vector space/Linearly independent/Finite index set/Definition