全ての写像の集合を とするとき、この集合の要素に、 と の間に の関係が成立すること ( と表す) を へと変換する写像 、すなわち なる がある。このとき なる写像 は存在し得る。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。