Definition:Composition of Subsets of Topological Group

Definition
Let $\struct {G, \odot, \tau}$ be a topological group.

Let $A, B \subseteq G$.

We define the composition $A \odot B$ by:


 * $A \odot B = \set {a \odot b : a \in A, \, b \in B}$