部分関数f{\displaystylef}とg{\displaystyleg}について、f(x1,…,xk)≃g(x1,…,xl){\displaystylef(x_{1},\ldots,x_{k})\simeqg(x_{1},\ldots,x_{l})}が成り立つのは、任意の引数の組み合わせについて、両関数の定義が存在して値が同じであるか、さもなくばどちらも未定義である場合だけである。
这是对所有偏函数f和g定义的所以f(x1,…,xk)≃g(x1,…,xl){\displaystylef(x_{1},\ldots,x_{k})\simeqg(x_{1},\ldots,x_{l})}成立，当且仅当对于参数的任何选择要么两个函数都有定义并且它们的值相等要么两个函数都是未定义的。