>>665
＞元々の　Ｘ　の数学的構造を　この写像によって　X/〜　に上手く移すことができるとき、
X/〜に　商構造　が定義できる

ベクトル空間の性質を維持することができるっていうことですかね？