linearly disjoint
Let and be subfields of , each containing a field . is said to be linearly disjoint from over if every subset of linearly independent
over is also linearly independent over .
Remark. If is linearly disjoint from over , then is linearly disjoint from over . Then one can speak of and being linearly disjoint over without causing any confusions.