二項関係としての全射

ウィキペディア小見出し辞書

二項関係としての全射

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/29 14:52 UTC 版)

「全射」の記事における「二項関係としての全射」の解説

域 X および余域 Y を持つ任意の写像は（そのグラフと同一視することにより）、X と Y との間の左全域的かつ右一意な二項関係と見ることができる。従って、域 X, 余域 Y をもつ全射は、X と Y との間の左全域的、右一意かつ右全域的な二項関係ということになる。