有限ベクトル空間
K を q-元体(元の数が q の有限体)とし E が K 上 n-次元とすれば、E の非零ベクトルはちょうど q – 1 個ある。E の基底—n 個の線型独立なベクトルからなる族—は、以下のような手順の有限回の繰り返しで構成することができる:
ゆえに E の基底の総数は
となる。同じ理由で、k 個の線型独立なベクトルからなる族の総数が
で求まることもわかる。このような族は E の k-次元部分空間を生成し、また任意の k-次元部分空間がこれらの族から生成されることが言えるが、ひとつの k-次元部分空間はその基底のとり方の分だけ重複して数えられることに注意する。よって、羊飼いの補題 により E の k-次元部分空間の総数はガウスの二項係数
で与えられる。