The Composition Lemma for $n$-dependence

Artem Chernikov, Yuyan He

We prove that a relation obtained by composing arbitrary functions of arity $\le k$ with a relation definable in an $n$-dependent structure is $kn$-dependent. This confirms a conj…