Consideremos un conjunto "M" dotado de una operación que representaremos multiplicativamente.