ベクトル空間 $Z$ の部分空間を $V$, $W$ とし、その直和が $Z$ になるとき、VとWの関係をZのおける補空間といいます。
つまりベクトル空間 $Z$ において、VがWの補空間なら、WはVの補空間でもあるわけです。
