Lineare Algebra/Linear unabhängig/Endliche Indexmenge/Definition