Suatu himpunan vektor \(\vvec_1,\vvec_2,\ldots,\vvec_n\) di \(\real^m\) disebut basis untuk \(\real^m\) jika himpunan vektor tersebut merentang \(\real^m\) dan bebas linear.