0551132人目の素数さん垢版 | 大砲2018/05/19(土) 00:41:23.92ID:9nKwXEtV >>546 普通に数学する分には、それこそwikipediaの「写像」のページにあるように >集合 A の各元に対してそれぞれ集合 B の元をただひとつずつ指定するような規則 f が与えられているとき、f を「始域または定義域A から終域 B への写像」といい ぐらいで十分でしょ ZFC公理とか気にする文脈なら>>514みたいにすればいい