x
Sum of vector spaces — LessWrong