Definition: Closed geometric positive relation

Let ${\mathcal{G}}_{\mathrm{reg}}^{+}$ be the ordinary positive-frequency covector relation of null geodesic segments entirely in $M$. It includes

when ${\kappa }^{\prime }$ is parallel transported to $\kappa$ along that segment and $\kappa$ is future directed. Define

The closure includes the standard diagonal null relation.