>>887
ここで言う大小は包含関係。
最小であるとは条件を満たす任意のベクトル空間の部分空間であるということ。
つまり
「W1、W2を含む最小の部分空間はW1＋W2である」
＝「W1⊂V および W1⊂V⇒W1+W2⊂V （ただしVは部分空間）」