A type of function such that for every exponent a, there is a small integer ε such that for any positive value x less than ε, its image lies between xa and x-a .
A natural number x, with the property that x = biy for some y that is not multiple of b.