Graph of a linear operator (source code)

= Graph of a linear operator

The graph of $T:X\to Y$ is the linear subspace $\Gamma(T)=\{(x,Tx):x\in X\}$ of $X\times Y$.