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