We continue the investigation of spaces whose topology is definable in the sense of descriptive set theory. We prove a general combinatorial principle we call the Definable Ideal Dichotomy. This principle is then applied to classify convergence in the class of definable countable groups and to prove other results of topological and set-theoretic nature. In the last section, we build limiting examples of interesting definable groups and spaces.