1: \begin{abstract}

2: Let \( \gG \) be a reductive group defined over \( \bQ \) and let \( \fS \) be a Siegel set in \( \gG(\bR) \).

3: The Siegel property tells us that there are only finitely many \( \gamma \in \gG(\bQ) \) of bounded determinant and denominator for which the translate \( \gamma.\fS \) intersects~\( \fS \).

4: We prove a bound for the height of these \( \gamma \) which is polynomial with respect to the determinant and denominator.

5: The bound generalises a result of Habegger and Pila dealing with the case of \( \gGL_2 \), and has applications to the Zilber--Pink conjecture on unlikely intersections in Shimura varieties.

6: 

7: In addition we prove that if \( \gH \) is a subset of \( \gG \), then every Siegel set for \( \gH \) is contained in a finite union of \( \gG(\bQ) \)-translates of a Siegel set for \( \gG \).

8: \end{abstract}