Definición 1.20: Si formula_24 es un grupo y formula_40 es un elemento de formula_24 tal que formula_260, i.e.