como de los semigrupos multiplicativos de los anillos.