Let $X \in \text{PoissonProcess}(\theta)$ be a D5207: Real poisson process.

Then \begin{equation} \forall \, s, t \in [0, \infty) \left( s \leq t \quad \Longrightarrow \quad X_s \leq X_t \right) \end{equation}