for F being Field
for E being FieldExtension of F
for T1, T2 being Subset of E st T1 c= T2 holds
FAdj (F,T1) is Subfield of FAdj (F,T2)