theorem lemNor2ch: :: FIELD_13:49

for F being Field
for E being FieldExtension of F
for K being b₁ -extending FieldExtension of F
for h being b₁ -fixing Monomorphism of E,K
for T being non empty finite b₁ -algebraic Subset of E holds h .: the carrier of (FAdj (F,T)) c= the carrier of (FAdj (F,(h .: T)))