Esto se hace así para permitir ciertos tipos de órdenes monomiales sobre anillos locales que resultan ser muy útiles.