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