定義
K を実数体または複素数体とする。
n を整数とする。
U を K^n の開集合とし、f: U → K^n を写像とする。
1 ≦ i ≦ n となる整数 i と関数 g: U → K が存在し、
f(x) = (x_1, ..., x_(i-1), g(x), x_(i+1), ..., x_n)
と書けるとき f を原始的な関数という。