二項関係
性質
{左,右}{一意性,全域性}
(2×2)^2 = 16のサブクラスがありえる。
→ 始・終
函数関係
二項関係には函数的なサブクラスがある
X→Y ⊂ R ⊂ X×Y
table:函数関係
＼ なし 右一意性
なし 一般の二項関係 部分写像
左全域性 （左全域的）対応 写像
関数への階層
語用論
無標だと 左全域性が 前提とされがちな様だ
aka. 全域的
これだけだと対応
これだけだと部分写像
函数関係 = 函数的 + 左全域的
部分 vs 全域
部分函数関係 = 函数的関係
i.e. 左一意・右全域
全単射ではない。
X ← Y 逆函数？
右全域部分対応？
わからないので、余写像・余函数とでも言うしかない。wint.icon
注意: 三角関数の概念ではない。
一般化について
subclasses
左右ともに…が成立するとき:
一意性: 一対一（対応）
x ↤↦ y
X×Y ≅ X→P(Y) ≅ P(X)←Y
左一意性
一意性と対応のサブクラス
table:uniqueness
＼ 非右一意 右一意
非左一意 多対多 多対一
左一意 一対多 一対一
ref.
対応
写像