1: \begin{definition}[Jump Inversion Theorem]

2: We call 

3: \[\JIT:\DD\mto\DD,{\mathbf a}\mapsto\{{\mathbf b}\in\DD:{\mathbf b'}={\mathbf a}\cup0'\}\]

4: the {\em Jump Inversion Theorem}.

5: \end{definition}

6: