for X being set
for F being Field_Subset of X
for A, B being set st A in F & B in F holds
A \/ B in F