完全β-簡約（fullβ-reduction）においては、任意の時点で任意の関数適用が簡約される（関数の引数を捕獲回避置換を使った関数に置換する）。
在“完全β归约”下，任何函数应用都可以在任何时候归约（是避免捕获代换把函数的实际参数代换如函数内）。