Надграфик

---

Формально, для функции ${\displaystyle f:M\to \mathbb {R} }$ надграфиком называется множество:

Надграфик включает в себя график функции ${\displaystyle f}$, то есть ${\displaystyle \operatorname {epi} f\supset \Gamma ,}$ где:

Надграфик функции является выпуклым множеством тогда и только тогда, когда она сама является выпуклой.

Надграфик функции является замкнутым множеством тогда и только тогда, когда сама функция является полунепрерывной снизу.

Двойственное понятие — подграфик (гипограф), для функции ${\displaystyle f:M\to \mathbb {R} }$ определяется как множество точек, лежащих под графиком:

---