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