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

{lower semi-continuous function} [ریاضی] فرمول دار