← Subspaces, basis, dimension, and rank