標準式(normal form)指式不含 {λx[M]}(N)。

B 稱為 A 標準式指 B 為標準式且可由 A 轉換而來。