Linear subspace/Intersection/Dimension estimate/Fact
< Linear subspace < Intersection < Dimension estimate
Let be a field, and let be a -vector space of dimension . Let denote linear subspaces of dimensions and .
Then