函数运用规则（functional application rule），文学-语言文字-语义学-语义组合，一种语义组合运算规则，对一个尚未完全饱和的（unsaturated）不完整结构作充盈（saturate）的过程。德国哲学家、数学家G.弗雷格把未饱和结构叫作函项，把插入的成分叫作论元；其充盈的过程就是把函项应用于论元，得到两项的合并。美国语言学家I.海姆和A.克拉泽在她们的专著中给函数运用规则做了如下定义：α是母节点，β、γ是它的两个子节点，如果║β║是一个定义域包含║γ║的函数，那么就可以进行函数运用║β║(║γ║)，从而得到α的语义。蒋严和潘海华在《形式语义学引论》（1998）中也指出，语义组合的过程可以看成“泛函贴合运算”（functional application），即把具类型a→b的概念看作函数f，把具类型a的概念看作主目a，把主目a代入函数f，将概念的组合结果写成f(a)。还将泛函贴合运算规则定义为，设f是具类型a→b的概念，a是具类型a的概念，则f(a)是具类型b的概念。