isUpperSemicontinuous

Indicates that the function’s upper level sets vary in a way that prevents sudden upward jumps in value, ensuring a form of continuity from above.