体K上の線型空間W⊆Vが線型空間Vの部分空間であるとは、Vと同じ演算
（つまり和とスカラー倍）に関して閉じていること。

分かりやすく言えば、Wの要素同士足したり、Kの数（たとえば実数）倍だけしても、
やはりWの要素となっていること。
で、Wを正則行列全体としてA∈Wを0∈R倍だけすると
零行列Oになります。これはWの要素ですか？（⇔ det O≠ 0ですか？）