このそれぞれの場合は直積の関係になる
が何か怪しい気がする。
ＭとＮがまずあってｆが成立していると考えると、Ｍの１つをＮに対して全射したもの（表現おかしいけども）
を直積するのはイメージ的に正しい。
ただｆの全射や単車の性質の数がまずあってＭとＮがあるのだと考えると、なぜ直積の直積の、、で表される
のか変な感じがする。、、どうもチラ裏な感じでごめん。なんかピタっと言えないもんだろうか