The set of partitions naturally forms a directed set,
and hence one can define integrals as the limit of the lower and upper sums
over a \Def{net} (function $f\from D \to X$, where $D$ a directed set), rather
than over a sequence.

In this way one avoids using sups and infs, and makes life a bit clearer.
