1: \begin{definition} \label{DefinitionPDeltaKernel}

2: Let $(P_t)_{t \ge 0}$ be the kernels on $E_1 \times \mathcal B (E)$ from Theorem \ref{TheoremKernelSemigroup}.

3: Define $P^\Delta_t : E^\Delta \times \mathcal B(E^\Delta)$ by:

4: If $x \in E^\Delta \setminus E_1$, $t \ge 0$ then $P^\Delta_t(x,\cdot):= \varepsilon_x$. Here $\varepsilon_x$ is the point measure in $x$.

5: For $x \in E_1$, $t > 0$, $A \in \mathcal B(E^\Delta)$ define $P^\Delta_t(x,A) = P_t(x,A \setminus \{ \Delta \}) + (1-P_t(x,E)) \varepsilon_{\Delta}(A)$.  

6: For $t=0$ define $P^\Delta_t(x,\cdot) := \varepsilon_x$.

7: \end{definition}

8: