Graph

A graph $g r a p h (𝑓)$ for a function $𝑓 : 𝐷 \to 𝐶$ is the set anal

g r a p h (𝑓) = {(𝑥, 𝑦) \in 𝐷 \times 𝐶 ∣ 𝑓 (𝑥) = 𝑦}