アフィン部分空間
以下 V を体 K 上の有限次元ベクトル空間で、A, B はそのアフィン部分空間とする。
A と B が交わる場合、またはいずれか一方が空のとき、次元公式は
で与えられる。また、A と B がいずれも空でなく交わりも持たないとき、次元公式は
となる。ここで UA, UB はそれぞれ A, B に付随する線型部分空間とする。またいずれの式においても A ∨ B は A と B のアフィン和空間である。