3. A discontinuous function is integrable if it does not tend to
become infinite, and if the points at which the oscillation of the
function exceeds a given number [sigma], however small, can be
enclosed in partial intervals the sum of whose breadths can be
diminished indefinitely.
These partial intervals must be a set chosen out of some complete set
obtained by the process used in the definition of integration.