査読/二項演算と｢閉じている｣(やっさん著)/4 のバックアップ(No.2)

確認です †

「写像の行われる集合について」
の式(1)の上にある記述についてなんですが、
直積集合を実数R同士の差という写像で対応させる…っていうことですよね？
「実数R同士の直積集合から実数Rへの差について考える」
ということになると、なんとなく別の意味に取れてしまったのですが、どうでしょうか？

あと、非常につまらんことを言いますが、
最初の「直積集合」のところで、
(bread,bread)のはずが(bread,yakisoba)になっているようです。
(個人的には焼きそばがたくさんあるのは嬉しいです)

以上の2点です。
内容はすごく頭の中を整理させてくれます。
ぼや～っと閉じていることを理解していましたが、
言葉で書くと、すっきりと理解できますね。