単射な部分写像の例 単射でない全域写像の例 数学において部分写像(ぶぶんしゃぞう、英: 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) のよ