G(f):={\{(x,f(x)):x\in X\}}
Prove: [f: X \rightarrow Y = f`: X \rightarrow Y]\Leftrightarrow [G(f)=G(f`)]