というか、この辺りの話 WIkipedia に直接的な言及がありました。二項関係のほうで定義するんですね。https://ja.wikipedia.org/wiki/%E5%86%99%E5%83%8F#%E5%9C%8F%E8%AB%96%E3%81%AE%E5%B0%84%E3%81%AE%E4%B8%80%E7%A8%AE%E3%81%A8%E3%81%97%E3%81%A6%E3%81%AE%E5%86%99%E5%83%8F

%E5%86%99%E5%83%8F