Observar que M puede ser un conjunto definido de enteros.