数非零多项式formula_118满足formula_119。一个有力的定理指出，属于相同马勒分类的 2 个复数是代数相关的。这允许我们构造新形式的超越数，例如刘维尔数与formula_47或formula_28的和。通常推测 S 代表马勒的老师卡尔·西格尔（Carl Ludwig Siegel），而 T 和 U 是接下来的两个字母。
Koksma 的等价分类. 在 1939 年提出了基于代数数逼近的另一种分类。考虑用次数formula_122且高formula_123的代