theorem Th6: :: PROB_1:6

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