Upper semicontinuity (1)