Tasks for expert editors:
- write adequate articles on Penrose diagrams, conformal compactification and revise/move/delete the presently absolutely awful conformal infinity)
- using these, expand this article to include a coordinate-free definition, perhaps following Wald or Frauendiener.