Anti-trapped surface (source code)

= Anti-trapped surface

An anti-trapped surface is the time reverse of a trapped surface: both future-directed orthogonal null expansions are positive.