Upper semicontinuous function

#incomplete