线性代数
子空间
定义
$H$ 是 $S$ 的子空间 $:=$
$H\subset S$
零元 $\in H$
$H$ 数乘封闭
$H$ 算术加封闭