theorem Th68: :: PROB_3:68

for X being set holds
( bool X is non-decreasing-closed & bool X is non-increasing-closed ) ;