重要な性質を満たす定義を作るくらいならば，その性質を定義としてしまうという試み \\ #掛け算の数学的定義を求めて

前回↓（※全文無料公開にしました 前回記事を読んでいただければ分かるが，今回は順序対の仮の定義が，ちゃんと順序対として成立するのか（性質を満たしているのか）を調べるつもりだった． だが，考えてみれば，その必要はないのでは？ということを思った． 確証は無い． だが，もしかしたらイケるかも，とは思う． 何より，イケれば面白い． 内容と方針の整理前回の内容をかいつまんで振り返りながら，もう少し詳しく説明する． 掛け算の数学的定義を考える上で，集合の直積集合を参考にする．