Sum of vector subspaces (source code)

= Sum of vector subspaces
{title2=$U+W$}

= Sum of subspaces
{synonym}

The sum of vector subspaces $U,W\leq V$ is
$$
U+W=\{u+w:u\in U,\ w\in W\}.
$$
It is the smallest <vector subspace> containing both $U$ and $W$.