二項関係
関係を参照
集合A,Bにおいて
直積集合A x Bの部分集合を言う
集合Sにおける関係$ \simとは
Sの任意の元x,yに対し、
$ x\sim yであるか(xはyと関係がある)または、
$ x\nsim yであるか（xとyと関係がない）
のいずれか一方が確定してることである
直積集合S×Sを使えば、S×Sの部分集合Rが１つ定められている事と同じである。すなわち
$ R = \{ (x,y) \in S \times S \ \mid x \sim y \}