凑合定义(definition by conditions)定义函式的一种方式.设Pt,Pz,... }P，为m个互不可兼(即不能同时为真)的、元谓词，gt , gz } ... } g}+i为m十1个已知函式，则如下定义函式f的方法称为凑合定义:

可见凑合定义(藉助于加法、乘法及N函式)可以化归为叠置.