Sejam $(X,\tau),(Y,\sigma)$ espaços topológicos e $f:X\rightarrow Y$ uma função. Chamamos de gráfico de $f$ o conjunto $\Gamma_f=\{(x,f(x)):x\in X\}\subset (X\times Y)$.

• Função contínua (com codomínio de Hausdorff) tem gráfico fechado