Nichtnegative numerische Funktion auf Menge/Subgraph/Definition

Subgraph

Es sei ${}M$ eine Menge und

$f\colon M\longrightarrow {\overline {\mathbb {R} }}_{\geq 0}$

eine nichtnegative Funktion. Dann nennt man die Menge

${}S(f)={\left\{(x,y)\in M\times {\overline {\mathbb {R} }}\mid 0\leq y\leq f(x)\right\}}\,$

den Subgraphen der Funktion.