したがって、2つの順序対(a,b)と(c,d)は、"a" ＝ "c" かつ "b" ＝ "d" のとき、またそのときに限って等しい"。