for E being Field
for F being strict Subfield of E holds E includes F