1: \begin{abstract}

2: Through careful analysis of types inspired by~\cite{atw1} we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from~\cite{pet_pillay_07} about closed and bounded definable sets in o-minimal expansions of ordered groups. Along the way we prove a parameter version for o-minimal theories of the connection between dividing and definable types known in the more general dp-minimal context~\cite{simon_star_14}, through an elementary proof that avoids the use of existing forking and $\VC$ literature. In particular we show that, if an $A$-definable family of sets has the $(p,q)$-property, for some $p\geq q$ with $q$ large enough, then the family admits a partition into finitely many subfamilies, each of which extends to an $A$-definable type. 

3: \end{abstract}

4: