definition of the Presburger arithmetic