関係
relation
集合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 \}
２つじゃなくてｎ個の場合もあるぽい
言い換えれば、x,yを引数としてBoolを返す関数が定義されているか、と言えるmoyamin.icon