In this subsection we reformulate Theorem REF  as a statement about the relationship between dividing and definable types known in o-minimal and some more general NIP theories. This is the subject of ongoing research among NIP theories [1]}. Until the end of the subsection we drop the assumption that \(\mathcal {M}\)  and \(\mathcal {U}\)  are o-minimal. Unless stated otherwise types are global over \(U\) .
