English Dictionary

partial function

名詞

(mathematics) A function whose domain is a subset of the set on which it is formally defined; i.e., a function f: X→Y for which values f(x) are defined only for x ∈ W, where W ⊆ X.

日本語の意味

数学における部分関数：全集合上で形式的に定義された関数のうち、定義域がその集合の一部分（部分集合）に限られている関数。 / 定義域（関数が有効に定義される入力値の集合）が、通常の全体の集合から部分的に抽出された場合の関数を意味する。

When defining operations on this set, we sometimes need to consider a partial function that is only specified for a subset of inputs.

この集合上で演算を定義する際、しばしば定義域が元の集合の部分集合である関数（部分関数）を考慮する必要がある。

意味（1）

(mathematics) A function whose domain is a subset of the set on which it is formally defined; i.e., a function f: X→Y for which values f(x) are defined only for x ∈ W, where W ⊆ X.

The Church-Turing thesis applies to partial functions on the same grounds as to total functions (§ 41).

partial functions （ plural ）