タナカこっちにも書いとこ．
マセマ集合論の197頁の(1)の部分．$\varnothing$ から集合 $A$ ヘの関数は「本来定義できないが，1通り存在するものとして」とあるのがもにゃる．
その関数はただひとつ存在して $\varnothing$ がそれになりますにゃ．
もしかして定義域が $\varnothing$ の関数って，もしかして盲点？
※私が数学トゥートをしたからって天変地異の前触れとかそういう（不穏
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.