Es seien ${\displaystyle {}M}$ und ${\displaystyle {}N}$ Mengen und es seien

${\displaystyle \varphi \colon M\longrightarrow N}$

${\displaystyle f\colon N\longrightarrow \mathbb {R} }$

Abbildungen. Zeige, dass für die Subgraphen die Beziehung

${\displaystyle {}(\varphi \times \operatorname {Id} _{\mathbb {R} })^{-1}(S(f))=S(f\circ \varphi )\,}$