AI 中文总结
该研究证明了n-相关性的合成引理，证实了Chernikov和Hempel的相关猜想，并论证了该结果的最优性。
AI 中文摘要
我们证明，由任意元数≤k的函数与n-相关结构中可定义的关系合成得到的关系是kn-相关的，这证实了Chernikov和Hempel的猜想，我们还证明了该结果的最优性。
英文摘要
We prove that a relation obtained by composing arbitrary functions of arity $\leq k$ with a relation definable in an $n$-dependent structure is $kn$-dependent. This confirms a conjecture of Chernikov and Hempel. We also demonstrate optimality of the result.
Comments10 pages
