補空間

ベクトル空間 $Z$ の部分空間を $V$, $W$ とし、その直和が $Z$ になるとき、$V$と$W$の関係を$Z$のおける補空間といいます。

つまりベクトル空間 $Z$ において、$V$が$W$の補空間なら、$W$は$V$の補空間でもあるわけです。