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