A generalization of the Heine limit for functions which converge on a base (Q1343570)

A class \(B\) of non-empty subsets of a given set \(A\) is said to be a base provided that the following conditions 1)--4) are satisfied: 1) If \(b_ 1,b_ 2\in B\), then there is a \(b_ 3\in B\) such that \(b_ 3\subseteq b_ 1\cap b_ 2\). 2) If \(b_ 1,b_ 2\in B\), then \(b_ 1\subseteq b_ 2\) or \(b_ 2\subseteq b_ 1\). A sequence \((x_ k)^ \infty_{k= 1}\) of elements of \(A\) is said to be monotone on \(B\) if for each \(b\in B\) we have \(x_ n\not\in b\) only for a finite number of \(n\)'s and if from \(x_ n\in b\) follows \(x_{n+1}\in b\). 3) There exists at least one monotone sequence on \(B\). 4) \(\bigcap_{b\in B} b= \emptyset\). The authors explain the concepts of \(\lim f(x)\), \(\lim\inf f(x)\) and \(\lim\sup f(x)\) (for \(f: A\to \mathbb{R}\)) on the base \(B\) using two approaches to their definitions (Cauchy's \(\varepsilon-\delta\)-approach and the sequential approach of Heine). It is shown here that also the definition of Riemann's integral can be formulated with help of the notion of base and it can be made in two ways (integral as a limit of Riemann's sums and by using the concepts of lower and upper integral).