creates is_monotone function
creates is_superadditive function