어떤 벡터 집합 안에서 모든 벡터에 대해

덧셈과 상수곱의 항등원과 역원이 존재하면

위 연산에 대한 닫혀있음이 보장되는건가요?