ここで "e"fは、関数形式を用いて、原始的関数、他の定義済関数および関数記号fそれ自身から構築された1個の式である。