theorem Th70: :: PROB_3:70

for X being set
for F being Field_Subset of X holds
( F is SigmaField of X iff F is MonotoneClass of X )