:: deftheorem defTalg defines -algebraic FIELD_7:def 12 :
for F being Field
for E being FieldExtension of F
for T being Subset of E holds
( T is F -algebraic iff for a being Element of E st a in T holds
a is F -algebraic );