a_2 中在 formula_3 上代数独立子集的极大基数。
定义.域扩张 formula_1 的一组超越基是子集 formula_5，使得 formula_6 在 formula_3 上代数独立，而且 formula_8 是代数扩张。可证明超越基存在，而任两组超越基的基数皆相同，由此可定义超越次数为超越基底的基数。
与向量空间维度的类比.域与向量空间有下述类比：代数独立集对应到线性独立集、超越基对应到基、超越次数对应到维度。证明基的基数唯一时，两方面都