Suatu himpunan vektor yang rentang linearnya adalah \(\real^m\) memuat setidaknya \(m\) vektor.