Бесконечная линейно-независимая система элементов

Пусть

• $X$ - линейное пространство Бесконечная система элементов $x_1,x_2,\dots ,x_n,\dots$ называется линейно независимой, если любая ее конечная подсистема является линейно-независимой