>>675
ううむ・・・するとこんな感じでしょうか。

----------------------------
Ｍ⊆Ｍ'、Ｎ⊆Ｎ'　<a,b>∈Ｍ×Ｎ　と仮定する。
すると
（a∈Ｍ）∧（b∈Ｎ）
であり、これと仮定より
（a∈Ｍ'）∧（b∈Ｎ'）
よって
<a,b>∈Ｍ'×Ｎ'
以上より
Ｍ×Ｎ∈Ｍ'×Ｎ'
----------------------------

集合の問題は証明が合っているのかどうか判断しづらくて大変です・・・