$P(X > s+t | X > s) = P(X > t)$ for all $s, t \ge 0$

$P(X > s+t | X > s) = P(X > s)$

$E[X+s | X > s] = E[X] + s$

All of the above are equivalent