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

{upper semicontinuous function} [ریاضی] فرمول دار