1: \begin{definition}

2: The process $X=\{X(t), \, t\in \R\}$ defined by \eqref{supOU} in Theorem \ref{thm:existencesupOU} is called a superposition Ornstein-Uhlenbeck (supOU) process.

3: \end{definition}