二項関係
binary relation
集合$ Sと$ T上の二項関係$ Rに対して、$ (s,t) \in Rのことを$ s R tと記述する
定義
二項関係$ Rは、任意の集合$ X, Y とそれらの直積$ X \times Yの部分集合$ Gの順序三つ組$ (X, Y, G) 具体例 `
$ A= \{1,2,3\} に対して，$ \{(1,2),(2,1),(3,1),(3,3)\} は二項関係
https://gyazo.com/fa5ab3cd6e60d07a7d7e03fa2036a17c https://nunuki.hatenablog.com/entry/2016/12/23/182301
参考