Cartesian product
まず、直積集合 N2 = N × N = {("a", "b") | "a", "b" は自然数} を考える。N2 に同値関係 ∼ を