Linear algebra subspace definition