I am studying algebraic properties of a set of all orbits of a continuous dynamical system on a compact metric space.
I consider a binary operation defined on orbits that yields certain algebraic structure on this set (monoid, semigroup, etc.).
How can I define a topology on the set of orbits in order for the algebraic and topological structures to agree with each other?