We present infinite analogues of our splinter lemma for constructing nested sets of separations. From these we derive several tree-of-tangles-type theorems for infinite graphs and infinite abstract separation systems.

中文翻译：

---

无限分离系统中的缠结树

我们提出了我们的分裂引理的无限类似物，用于构建嵌套的分离集。从这些我们推导出几个用于无限图和无限抽象分离系统的缠结树型定理。