Let \((X,\tau )\)  be a definable topological space and \(p\)  be a (possibly partial) type such that \(X\in p\) . We say that \(x\in X\)  is a limitFornasiero [1]}, as well as Thomas, Walsberg and the Author [2]}, use the word “specialization" (borrowed from real algebraic geometry) to refer to limits of types. Here we use instead the terminology from Hrushovski and Loeser [3]}. of \(p\) (with respect to \(\tau \) ) if \(x\)  is contained in every \(\tau \) -closed set in \(p\) .
