単射な部分写像の例 単射でない全域写像の例 数学において部分写像(ぶぶんしゃぞう、英: partial mapping)あるいは部分函数(英: partial function)は適当な部分集合上で定義された写像である。即ち、集合 X から Y への部分写像 f は X の任意の元に Y の元を割り当てることが求められる写像 f: X → Y の概念を一般化して、X の適当な部分集合 X' の元に対してのみそれを要求する。X′ = X となる場合には f は全域写像 (total function) と呼ばれ、これは写像と同じ概念を意味する。部分写像を考えるときには、その定義域 X' がはっきりとは分かっていないという場合もよくある。 基本概念[編集] 部分写像 f に対し f(x) が定義される値 x 全体の成す集合(上記の X')を f の定義域と呼び、D(f) や Def(f) のよ
![部分写像 - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/b2c92220613447b994ddbacc94dc98ed92fb9217/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fc%2Fcd%2FPartial_function.svg%2F1200px-Partial_function.svg.png)