Formalizar esta idea conduce a definiciones como la siguiente, tomada del "Lorentzian Wormholes," de Matt Visser: