マップ（写像）の定義
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、セット（集合）の定義を知っている。
ターゲットコンテキスト
- 読者は、マップ（写像）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意のセット（集合）\(S_1\)および\(S_2\)に対して、\(S_1\)（\(S_1\)は'ドメイン（定義域）'と呼ばれる）の各要素を\(S_2\)（\(S_2\)は'レンジ（値域）'と呼ばれる）の1つの要素に対応させる任意の関連付け
2: 注
レンジ（値域）の一部の要素は、ドメイン（定義域）のどの要素にも対応付けられないかもしれない。ドメイン（定義域）のどの要素も、レンジ（値域）の複数の要素に対応することは許されない、ドメイン（定義域）の複数の要素がレンジ（値域）の同一の要素に対応してもよいが。
