ただし、関係の定義に始集合や終集合を考慮しない流儀も一般的である。この場合、二項関係とはの部分集合であるグラフそのものをいうのに相違ない。このような立場では、対の集合はを含む任意の始集合からを含む任意の終集合への関係を表す。この差異を、関係の特別な場合として写像の概念に適用する場合を考えよう。多くの文脈では、写像の終域と値域とを異なるものとして峻別して扱うので、ひとつの「規準」として例えば実数にを対応させるとき、終域を実数全体とするか、あるいはより精密に非負の実数全体とするかによって、二つの異なる写像およびが得られる。しかし別な文脈では、写像とは単に第一成分が一意であるような順序対の集合として扱われることもある。この差異はとある自明でない問題から生じていると見ることができる。例えば、前者の立場では写像の性質として全射性を考えることができるし、一方で後者は集合を生み出す関係性として写像を捉えることができる。この二つの異なる定義の違いが問題となるのは圏論のような極めて厳密な文脈のみであって、殆どの場面で何れの流儀であってもさほど問題となることはないし、必要に応じて適当に用語や記法を変更してやれば、関係の制限や関係の合成、逆関係といった概念を定義することができる。例.二つの異なる関係がまったく同じグラフを持つことがありうる。たとえば、上の例で何も所有していなかったイアンを除外した次の関係特殊な二項関係.と上の二項関係のいくつか重要なクラスを以下に挙げる。一意性条件:全域性条件:一意かつ全域性条件:集合上の関係.で二項関係の始集合と終集合とが一致しているならば、簡単に上の二項関係(あるいはもう少し明示的に上の自己関係)と呼ぶ。自己関係のいくつかのクラスについては有向グラフとしてグラフ理論において広く調べられている。集合上の二項関係全体の成す集合は、関係をその逆関係へ写す対合を備えた対合付き半群を成す。集合上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる: