어떤 집합에 합과 스칼라곱 연산을 부여하면 벡터공간인지 아닌지 따질 수 있는거 같은데

31번 중간에 (c)번 보기에서 연산이 잘 정의(well-defined)되어있는지를 먼저 확인하더라고

그럼 벡터공간인지 아닌지 제대로 따지려면

일단 주어진 연산이 잘 정의되어있는지부터 확인하고 증명 들어가야하는게 정석임?

+ 그리고 연산이 잘 정의되었다는 걸 확인하는게 무슨 의미가 있음?