In this paper, we establish that for any homomorphism \(\varphi : S \rightarrow T\) between two topological semigroups S and T, \(S/\ker \varphi \) forms a topological semigroup if and only if \(\varphi \) is \(\varphi \) -saturated continuous. We provide necessary and sufficient conditions for the collection of all topological semigroup congruences on a topological semigroup to constitute a lattice. Furthermore, we outline the conditions under which a group congruence on a semigroup is a simple group congruence. Lastly, we define essential criteria for a group congruence on a topological semigroup to be classified as a topological group congruence.