>>150

R を X × X の部分集合とする。
(x, y) ∈ R であるとき、 x ～ y と書く。
～ を R が定める関係という。