Definition of "Relation"

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

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