Set-Theoretic Concepts: Formal Definition of Graph

Definition: Given a function $f: A\to B$, the graph of $f$, denoted by $Gr(f)$, is defined by $Gr(f):=\{(x,f(x)):x\in A\}$.

Remark: The graph of $f$ is a subset of $A\times B$.