theorem :: PROB_3:71

for Omega being non empty set holds bool Omega is MonotoneClass of Omega by Th68;