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