lower (upper) semicontinuity