Producto de dos subconjuntos

Sea un Grupoide $(G, \circ)$ con dos subconjuntos $A,B$ definimos el conjunto ($AB$) o ($A \circ B$) como un conjunto de elementos de $G$ que son de la forma ($a \circ b$) con a perteneciente a $A$ y $b$ perteneciente a $B$