Basis (aljabar linear)

Basis untuk ruang vektor formula_1 (atas medan formula_2) adalah suatu himpunan bagian formula_3 yang memenuhi: