  The causal boundary construction of Geroch, Kronheimer, and Penrose has some
universal properties of importance for general studies of spacetimes,
particularly when equipped with a topology derived from the causal structure.
Properties of the causal boundary are detailed for spacetimes with spacelike
boundaries, for multi-warped spacetimes, for static spacetimes, and for
spacetimes with group actions.
