la_11若是代数独立于formula_3的话，若且唯若formula_13会是formula_3内的超越数或超越函数。一般而言，和于formula_3代数独立集合的所有元素也必然会是formula_3内的超越数或超越函数，但反之则不必然。举例来说，实数formula_17的子集formula_18并不代数独立于有理数formula_19，当存在一非零多项式：formula_21代入formula_22和formula_23代入formula_24时会变成formula_25。林德曼-魏尔斯特拉