對於任意 (其中
表示代數數的集合),令
表示
的所有共軛的最大模數。則函式
如果以下條件成立,則稱其為 E-函式 (Nesterenko 1999)。
1. 所有係數 屬於在有理數域 Q 上的有限次數的同一個數域
。
2. 如果 是任意正數,則當
時,
。
3. 對於任意 ,存在一個自然數序列
使得對於
, ...,
,
並且
。
每個 E-函式都是整函式,並且 E-函式的集合在加法和乘法運算下構成一個環。此外,如果 是一個 E-函式,那麼
和
也是 E-函式,並且對於任何代數數
,函式
也是一個 E-函式 (Nesterenko 1999)。