si ˈun espˈaθjotjˈempo ðe loɾˈɛntθ kontjˈene ˈuna rexjˈon kompˈakta (el)omˈeɣa(es) i si la tˌopoloxˈia ðe (el)omˈeɣa(es) ˈes ðe la fˈoɾma (el)omˈeɣa(en) tˈɪldə(es) ˈɛɾe ˈɛkis (el)sˈiɣma(es), dˌonde (el)sˈiɣma(es) ˈes ˈuna tɾˈesβˌaɾjeðˈad ðe tˌopoloxˈia nˈo tɾiβjˈal, kˈuʝa fɾontˈeɾa tjˈene tˌopoloxˈia ðe la fˈoɾma ðˈe (el)sˈiɣma(en) tˈɪldə(es) ˈɛse ðˈos, i si ˌaðemˈas las ˌipeɾsˌupeɾfˈiθjes (el)sˈiɣma(es) sˈon de tˈipo ˌespaθjˈal, entˈonθes la rexjˈon (el)omˈeɣa(es) kontjˈene ˈun ˌaɣuxˈeɾo ðe ɣusˈano ˌintɾaʊnˌiβeɾsˈal kwˌasipˌeɾmanˈɛnte.
Si un espacio-tiempo de Lorentz contiene una región compacta Ω y si la topología de Ω es de la forma Ω ~ R x Σ, donde Σ es una 3-variedad de topología no trivial, cuya frontera tiene topología de la forma dΣ ~ S², y si además las hipersuperficies Σ son de tipo espacial, entonces la región Ω contiene un agujero de gusano intrauniversal cuasipermanente.