Sean formula_1 un grupo, formula_3 un subconjunto no vacío de formula_1 y formula_13 un subgrupo de formula_14 Cuando x, y son elementos de formula_15 tenemos que tanto formula_16 como formula_17 y formula_18 son elementos de formula_19 Las relaciones anteriores se extienden a productos cualesquiera.