theorem :: PROB_3:73

for Omega being non empty set
for Z being Field_Subset of Omega holds sigma Z = monotoneclass Z