順序対
ordered pair
1つか2つの集合から要素2つを取り出して、必要な順に並べて1つの組にしたものを順序対と呼ぶ。
順序組
のうち、2つの時の特殊な呼び方になる。
二項関係
、
二項演算
での
写像
の始端として現れる。