順序組の同値関係
$ (a_1, a_2, \dots, a_n) = (b_1, b_2, \dots, b_n)
$ a_i = b_i \quad (i=1, 2, \dots, n)
を満たす時、等しい。
順序組に含まれる各対象は順序を持つため、
集合の同値関係
とは異なる。
同値関係