تابع نیم‌پیوستۀ بالایی

upper semicontinuous function