>>871
君は演算がなぜそう定義されているのかという点に疑問を持っているの?

直感的に成り立つことを集合論の上にのせているだけでは?と思う