Especificación de los naturales en Maude: