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$