Let $X : [0, \infty) \to \text{Random}(\mathbb{R})$ be a D5076: Random real process such that
(i) | $T_0, T_1 : \Omega \to \text{Random} [0, \infty)$ are each a D6131: Random real process stopping time for $X$ |
Then
(1) | $\min(T_0, T_1)$ is a D6131: Random real process stopping time for $X$ |
(2) | $\max(T_0, T_1)$ is a D6131: Random real process stopping time for $X$ |