Definition 5

Tag 06SH, permanent. Cite it as [Bourbaki, Tag 06SH].

Algebra, chapter V, § 14. Transcendental extensions

— Let L be an extension of a field K, and E and F two subextensions of L. Then E and F are said to be algebraically disjoint (over K) and E is said to be algebraically disjoint from F over K, if for every subset A (resp. B) of E (resp. F) algebraically free over K, A and B are disjoint and $A \cup B$ is algebraically free over K.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Proposition 11, § 14

Cites

Nothing.