algebraic independence
linearly independence of elements of a field extension that are also not related via finitary arithmetic operations
linearly independence of elements of a field extension that are also not related via finitary arithmetic operations