関係
https://en.wikipedia.org/wiki/Binary_relation
集合Aがある時直積集合AxAの部分集合として定義する
プログラム的にはtuple (a, b)に対して
true/false
を返す関数で表現できるものと考えて良い
関係代数(データベース理論)における「関係」とは別物
例
同値関係
順序関係
全順序
関係
半順序
関係