は "v" の線型部分空間であり、"v' " の任意の線型部分空間 "w' " に対して