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