transcendence basis
family of algebraically independent elements of a field extension which span up the extension's purely transcendental subfield
family of algebraically independent elements of a field extension which span up the extension's purely transcendental subfield