El conjunto de los subconjuntos de "G" forma entonces un monoide bajo esta operación.