lower semicontinuous function

[ریاضیات] تابع پایین نیم پیوسته