The first one is not the definition of the integral - it is a consequence of the definition.

There are two equivalent definitions for the Riemann integral, one using Darboux sums and the other using Riemann sums:

Darboux integral - Wikipedia, the free encyclopedia

Riemann sum - Wikipedia, the free encyclopedia