1: \begin{definition}[Closed Graph Theorem]

2: Let $X,Y$ be computable Banach spa\-ces. Then we define

3: \[\CGT_{X,Y}:\In\AA_+(X\times Y)\to\CC(X,Y),\graph(T)\mapsto T\]

4: where $\dom(\CGT_{X,Y})$ contains all those closed subsets $A\In X\times Y$

5: for which there is a linear bounded $T:X\to Y$ such that $A=\graph(T)$.

6: \end{definition}

7: