Algebraic independence/Definition

The property of elements of an extension field which satisfy only the trivial polynomial relation.