Two extension fields E and F of a field k contained in a common field L, such that any finite set of elements in E that is linearly independent when E is regarded as a vector space over k remains linearly independent when E is regarded as a vector space over F.