Definisi 3.5.4.
Basis untuk subruang \(S\) dari \(\real^p\) adalah himpunan vektor dalam \(S\) yang bebas linear dan yang rentang linearnya adalah \(S\text{.}\) Dimensi subruang \(S\text{,}\) yang dinotasikan dengan \(\dim
S\text{,}\) adalah banyaknya vektor dalam sembarang basis.