monotone set function