Lemma 2

If a topological group $G$ operates continuously on a topological space $X$, then the equivalence relation $R$ defined by $G$ is open.

For the saturation with respect to $R$ of an open subset $U$ of $X$ is the set $\bigcup_{s \in G} s.U$, and each $s.U$ is open by Lemma 1.