We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.
Mathematics Subject Classifications: 05C40, 05C83, 06A07
