ガロア生誕200周年記念スレ part 6

定義
I が整列集合（>>84）とする。
(M_i)、i ∈ I を順序集合の族とする。
M = ΠM_i を族 (M_i)、i ∈ I の直積集合とする。
a = (a_i) と b = (b_i) を M の元とする。
I は整列集合だから a ≠ b のとき k = min { i ∈ I；a_i ≠ b_i} が定まる。
a_k ＜ b_k のとき a ＜ b と書く。
a = b または a ＜ b のとき a ≦ b と書く。