Un conjunto A, no vacío, dotado de una ley de composición interna: formula_16, tiene elemento simétrico por la derecha, si: