Definition:Composition of Subsets of Topological Group

From ProofWiki
Jump to navigation Jump to search

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}$


Also see


Sources