theorem ll: :: FIELD_13:46

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 b₁ -algebraic Subset of E holds h .: T is F -algebraic