二項関係
集合
$ A
から集合
$ B
への関係
$ R: A \rightarrow B
を、直積集合
$ A \times B
の部分集合Rとみなすこともできる。これを
$ aRb
あるいは
$ (a, b) \in R
と表現し、元
$ a
は元
$ b
と
$ R
関係にある、という
Binary relation
とも
代表的な二項関係
同値関係
半順序関係