Graph

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

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

#state/tidy | #SemBr