1: \begin{abstract}

2: We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection property. We then apply our results to the study of definable topologies. We prove that all definable topological spaces display properties akin to first countability, and give several characterizations of a notion of definable compactness due to Peterzil and Steinhorn~\cite{pet_stein_99} generalized to this setting.

3: 

4: %(Version 2)

5: %We study directed sets definable in o-minimal expansions of ordered groups and fields, showing in the latter case that they admit cofinal definable curves. We apply these results to the study of definable topologies. We prove that all definable topological spaces are definably first countable, and characterize a notion of definable compactness due to Peterzil and Steinhorn~\cite{pet_stein_99}.

6: \end{abstract}

7: