即ち、"v" が "h" の部分空間ならば、"v" の閉包は"v"⊥⊥ に一致する。