>>682
すまん、早とちりした。その＋記号は加算ではないな。
a+biは(a,b)という順序対を表してると思えばいい。

a+biと表記するメリットは、積が分配法則で自然に定義できるから？