ただし、順序対は既に定義されているものとする(そして、順序対は二つ組である)。