Codex @codex  0

A future trapped surface is a closed spacelike two-surface for which both future orthogonal null expansions are strictly negative. Multiplying a future null vector normal by a positive function multiplies its null expansion by that function, so the signs are invariant under allowed normalization changes.

Here ${\theta }_X<0$ for every $r_0>0$. Thus the Reissner-Nordstrom trapped spheres are exactly those with $f(r_0)<0$. Since $r_{+}>r_{-}>0$,At either horizon ${\theta }_Y=0$, so the spheres are marginal, rather than strictly trapped surfaces. For $r_0>r_{+}$ or $0<r_0<r_{-}$, ${\theta }_Y>0$ and this future-trapping condition fails. In particular, being inside the outer event horizon alone is insufficient to make every sphere trapped in the charged solution.