域上代数相关集(algebraically dependent setover a field)是与超越基密切相关的一个概念。设K是F的域扩张，S是K的子集。若y∈K是F(S)上的代数元，则称y在F上与S是代数相关的；否则，称为代数无关的。域上代数相关集(algebraically dependent setover a field)是与超越基密切相关的一个概念。设K是F的域扩张，S是K的子集。若y∈K是F(S)上的代数元，则称y在F上与S是代数相关的；否则，称为代数无关的。任何子集SK，若有某个x∈S，它与S\{x}在F上代数相关，则称S是F上(或者关于F)的一个代数相关集；否则，为F上的一个代数无关集(通常又称为超越集)。当S={x}时，{x}成为F上的代数相关集等价于x是F上的代数元；{x}是F上的超越集等价于x是F上的超越元。