A canonical tree-of-tangles theorem for structurally submodular separation systems

Abstract

We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.