Directed sets and topological spaces definable in o-minimal structures - Pablo Andujar Guerrero; Margaret E. M. Thomas; Erik Walsberg (2019)