New differential properties of sup-type functions