Up | English

「関係」の定義

---

• 集合 D, V と D × V ( D の要素と V の要素のペアの全体）の部分集合 G の組 r = (G, D, V) を，「関係」と定義します。
  G を r のグラフと呼びます。

• x ∈ D に対し， (x, y) ∈ G となる y ∈ V は一つとは限りません。