A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não consegue refletir as características lógicas daquela propriedade, comprometendo, desse modo, a construção de uma lógica cujo modelo seria a estrutura intervalar munida dessa topologia. Essa lógica seria necessária para fundamentação da matemática intervalar como uma teoria de algorítmos da análise real. Neste trabalho se mostra que o insucesso na construção dessa fundamentação se deve a incompatibilidade entre a propriedade da inclusão-monotonicidade e a topologia de Hausdorff. A partir dessa constatação se descarta essa topologia e define-se uma outra topologia - a topologia de Scott - que é compatível com essa propriedade, no sentido de que todo resultado obtido usando-se a lógica, isto é, a propriedade da inclusão-monotonicidade, obtém-se também usando-se a ferramenta topológica e reciprocamente. A teoria resultante da substituição da topologia de Hausdorff pela topologia de Scott tem duas características fundamentais. A Análise Funcional Intervalar resultante possui a maioria das propriedades interessantes da Análise Real, suprimindo, assim, as deficiências da Análise Intervalar anterior. A elaboração da propriedade da inclusão-monotoniciadade permite construir uma lógica geométrica e uma teoria lambda cujo modelo é essa nova matemática intervalar. Além disso, a partir dessa lógica e da teoria lambda se elabora uma teoria construtiva, como a teoria dos tipos de Martin-Löf, que permite se raciocinar com programas dessa matemática. Isso significa a possibilidade de se fazer correção automática de programas da matemática intervalar. Essa nova abordagem da matemática intervalar é desenvolvida pressupondo, apenas, o conceito de número racional, além, é claro, da linguagem da teoria dos conjuntos. Desse modo é construído o sistema intervalar de um modo análogo ao sistema real. Para isso é generalizado o conceito de corte de Dedekind, resultando dessa construção um sistema ordenado denominado de quasi-corpo, em contraste com o números reais cujo sistema é algébrico, o corpo dos números reais. Assim, no sistema intervalar a ordem é um conceito intrínseco ao sistema, diferentemente do sistema de números reais cuja a ordem não faz parte da álgebra do sistema. A lógica dessa nova matemática intervalar é uma lógica categórica. Isto significa que todo resultado obtido para domínios básicos se aplica para o produto cartesiano, união disjunta, o espaço de funções, etc., desses domínios. Isto simplifica consideravelmente a teoria. Um exemplo dessa simplificação é a definição de derivada nessa nova matemática intervalar, conceito ainda não bem definido na teoria intervalar clássica. / The Interval Mathematics is based on two fundamental concepts, the inclusion-monotonicity of its arithmetics and a Hausdorff topology defined on the interval set. The property of inclusion-monotonicity has risen as an useful tool for elaboration of interval algorithms. In contrast, because the Hausdorff topology does not reflect the logical features of that property, the interval mathematics did not, permit the elaboration of a logic whose model is this interval mathematics with that topology. This logic should be necessary to the foundation of the interval mathematics as a Real Analysis Theory of Algorithms. This thesis shows that the theory of algorithms refered above was not possible because of the incompatibility between the property of inclusion-monotonicity and the Hausdorff topology. By knowing the shortcoming of this topology, the next step is to set it aside and to define a new topology - the Scott topology - compatible with the refered property in the sense that every result, obtained via the logic is also obtainable via the topology and vice-versa. After changing the topology the resulting theory has two basic features. The Interval Functional Analysis has got the most, interesting properties belonging to Real Analysis, supressing the shortcomings of previous interval analysis. The elaboration of the inclusion-monotonicity property allows one to construct a geometric logic and a lambda theory whose model is this new interval mathematics. From this logic and from the lambda theory a constructive theory is then elaborated, similar to Martin-Löf type theory, being possible then to reason about programs of this new interval mathematics. This means the possibility of automatically checking the correctness of programs of interval mathematics. This new approach assumes only the concept, of rational numbers beyond, of course, the set theory language. It is constructed an interval system similar to the real system. A general notion of the concept of Dedekind cut was necessary to reach that. The resulting construction is an ordered system which will be called quasi-field, in opposition to the real numbers system which is algebraic. Thus, in the interval system the order is an intrinsic concept, unlike the real numbers sistems whose order does not belong to the algebraic system. The logic of this new interval mathematics is a categorical logic. This means that, every result got for basic domains applies also to cartesian product, disjoint union, function spaces, etc., of these domains. This simplifies considerably the new theory. An example of this simplication is given by the definition of derivative, a concept not, derived by the classical interval theory.

A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não consegue refletir as características lógicas daquela propriedade, comprometendo, desse modo, a construção de uma lógica cujo modelo seria a estrutura intervalar munida dessa topologia. Essa lógica seria necessária para fundamentação da matemática intervalar como uma teoria de algorítmos da análise real. Neste trabalho se mostra que o insucesso na construção dessa fundamentação se deve a incompatibilidade entre a propriedade da inclusão-monotonicidade e a topologia de Hausdorff. A partir dessa constatação se descarta essa topologia e define-se uma outra topologia - a topologia de Scott - que é compatível com essa propriedade, no sentido de que todo resultado obtido usando-se a lógica, isto é, a propriedade da inclusão-monotonicidade, obtém-se também usando-se a ferramenta topológica e reciprocamente. A teoria resultante da substituição da topologia de Hausdorff pela topologia de Scott tem duas características fundamentais. A Análise Funcional Intervalar resultante possui a maioria das propriedades interessantes da Análise Real, suprimindo, assim, as deficiências da Análise Intervalar anterior. A elaboração da propriedade da inclusão-monotoniciadade permite construir uma lógica geométrica e uma teoria lambda cujo modelo é essa nova matemática intervalar. Além disso, a partir dessa lógica e da teoria lambda se elabora uma teoria construtiva, como a teoria dos tipos de Martin-Löf, que permite se raciocinar com programas dessa matemática. Isso significa a possibilidade de se fazer correção automática de programas da matemática intervalar. Essa nova abordagem da matemática intervalar é desenvolvida pressupondo, apenas, o conceito de número racional, além, é claro, da linguagem da teoria dos conjuntos. Desse modo é construído o sistema intervalar de um modo análogo ao sistema real. Para isso é generalizado o conceito de corte de Dedekind, resultando dessa construção um sistema ordenado denominado de quasi-corpo, em contraste com o números reais cujo sistema é algébrico, o corpo dos números reais. Assim, no sistema intervalar a ordem é um conceito intrínseco ao sistema, diferentemente do sistema de números reais cuja a ordem não faz parte da álgebra do sistema. A lógica dessa nova matemática intervalar é uma lógica categórica. Isto significa que todo resultado obtido para domínios básicos se aplica para o produto cartesiano, união disjunta, o espaço de funções, etc., desses domínios. Isto simplifica consideravelmente a teoria. Um exemplo dessa simplificação é a definição de derivada nessa nova matemática intervalar, conceito ainda não bem definido na teoria intervalar clássica. / The Interval Mathematics is based on two fundamental concepts, the inclusion-monotonicity of its arithmetics and a Hausdorff topology defined on the interval set. The property of inclusion-monotonicity has risen as an useful tool for elaboration of interval algorithms. In contrast, because the Hausdorff topology does not reflect the logical features of that property, the interval mathematics did not, permit the elaboration of a logic whose model is this interval mathematics with that topology. This logic should be necessary to the foundation of the interval mathematics as a Real Analysis Theory of Algorithms. This thesis shows that the theory of algorithms refered above was not possible because of the incompatibility between the property of inclusion-monotonicity and the Hausdorff topology. By knowing the shortcoming of this topology, the next step is to set it aside and to define a new topology - the Scott topology - compatible with the refered property in the sense that every result, obtained via the logic is also obtainable via the topology and vice-versa. After changing the topology the resulting theory has two basic features. The Interval Functional Analysis has got the most, interesting properties belonging to Real Analysis, supressing the shortcomings of previous interval analysis. The elaboration of the inclusion-monotonicity property allows one to construct a geometric logic and a lambda theory whose model is this new interval mathematics. From this logic and from the lambda theory a constructive theory is then elaborated, similar to Martin-Löf type theory, being possible then to reason about programs of this new interval mathematics. This means the possibility of automatically checking the correctness of programs of interval mathematics. This new approach assumes only the concept, of rational numbers beyond, of course, the set theory language. It is constructed an interval system similar to the real system. A general notion of the concept of Dedekind cut was necessary to reach that. The resulting construction is an ordered system which will be called quasi-field, in opposition to the real numbers system which is algebraic. Thus, in the interval system the order is an intrinsic concept, unlike the real numbers sistems whose order does not belong to the algebraic system. The logic of this new interval mathematics is a categorical logic. This means that, every result got for basic domains applies also to cartesian product, disjoint union, function spaces, etc., of these domains. This simplifies considerably the new theory. An example of this simplication is given by the definition of derivative, a concept not, derived by the classical interval theory.

A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não consegue refletir as características lógicas daquela propriedade, comprometendo, desse modo, a construção de uma lógica cujo modelo seria a estrutura intervalar munida dessa topologia. Essa lógica seria necessária para fundamentação da matemática intervalar como uma teoria de algorítmos da análise real. Neste trabalho se mostra que o insucesso na construção dessa fundamentação se deve a incompatibilidade entre a propriedade da inclusão-monotonicidade e a topologia de Hausdorff. A partir dessa constatação se descarta essa topologia e define-se uma outra topologia - a topologia de Scott - que é compatível com essa propriedade, no sentido de que todo resultado obtido usando-se a lógica, isto é, a propriedade da inclusão-monotonicidade, obtém-se também usando-se a ferramenta topológica e reciprocamente. A teoria resultante da substituição da topologia de Hausdorff pela topologia de Scott tem duas características fundamentais. A Análise Funcional Intervalar resultante possui a maioria das propriedades interessantes da Análise Real, suprimindo, assim, as deficiências da Análise Intervalar anterior. A elaboração da propriedade da inclusão-monotoniciadade permite construir uma lógica geométrica e uma teoria lambda cujo modelo é essa nova matemática intervalar. Além disso, a partir dessa lógica e da teoria lambda se elabora uma teoria construtiva, como a teoria dos tipos de Martin-Löf, que permite se raciocinar com programas dessa matemática. Isso significa a possibilidade de se fazer correção automática de programas da matemática intervalar. Essa nova abordagem da matemática intervalar é desenvolvida pressupondo, apenas, o conceito de número racional, além, é claro, da linguagem da teoria dos conjuntos. Desse modo é construído o sistema intervalar de um modo análogo ao sistema real. Para isso é generalizado o conceito de corte de Dedekind, resultando dessa construção um sistema ordenado denominado de quasi-corpo, em contraste com o números reais cujo sistema é algébrico, o corpo dos números reais. Assim, no sistema intervalar a ordem é um conceito intrínseco ao sistema, diferentemente do sistema de números reais cuja a ordem não faz parte da álgebra do sistema. A lógica dessa nova matemática intervalar é uma lógica categórica. Isto significa que todo resultado obtido para domínios básicos se aplica para o produto cartesiano, união disjunta, o espaço de funções, etc., desses domínios. Isto simplifica consideravelmente a teoria. Um exemplo dessa simplificação é a definição de derivada nessa nova matemática intervalar, conceito ainda não bem definido na teoria intervalar clássica. / The Interval Mathematics is based on two fundamental concepts, the inclusion-monotonicity of its arithmetics and a Hausdorff topology defined on the interval set. The property of inclusion-monotonicity has risen as an useful tool for elaboration of interval algorithms. In contrast, because the Hausdorff topology does not reflect the logical features of that property, the interval mathematics did not, permit the elaboration of a logic whose model is this interval mathematics with that topology. This logic should be necessary to the foundation of the interval mathematics as a Real Analysis Theory of Algorithms. This thesis shows that the theory of algorithms refered above was not possible because of the incompatibility between the property of inclusion-monotonicity and the Hausdorff topology. By knowing the shortcoming of this topology, the next step is to set it aside and to define a new topology - the Scott topology - compatible with the refered property in the sense that every result, obtained via the logic is also obtainable via the topology and vice-versa. After changing the topology the resulting theory has two basic features. The Interval Functional Analysis has got the most, interesting properties belonging to Real Analysis, supressing the shortcomings of previous interval analysis. The elaboration of the inclusion-monotonicity property allows one to construct a geometric logic and a lambda theory whose model is this new interval mathematics. From this logic and from the lambda theory a constructive theory is then elaborated, similar to Martin-Löf type theory, being possible then to reason about programs of this new interval mathematics. This means the possibility of automatically checking the correctness of programs of interval mathematics. This new approach assumes only the concept, of rational numbers beyond, of course, the set theory language. It is constructed an interval system similar to the real system. A general notion of the concept of Dedekind cut was necessary to reach that. The resulting construction is an ordered system which will be called quasi-field, in opposition to the real numbers system which is algebraic. Thus, in the interval system the order is an intrinsic concept, unlike the real numbers sistems whose order does not belong to the algebraic system. The logic of this new interval mathematics is a categorical logic. This means that, every result got for basic domains applies also to cartesian product, disjoint union, function spaces, etc., of these domains. This simplifies considerably the new theory. An example of this simplication is given by the definition of derivative, a concept not, derived by the classical interval theory.

Fundamentada a importância da utilização da Teoria dos Intervalos em computação científica, é realizada uma revisão da Teoria Clássica dos Intervalos, com críticas sobre as incompatibilidades encontradas como motivos de diversas dificuldades para desenvolvimento da própria teoria e, consequentemente, das Técnicas Intervalares. É desenvolvida uma nova abordagem para a Teoria dos Intervalos de acordo com a Teoria dos Domínios e a proposta de [ACI 89], obtendo-se os Domínios Intervalares da Matemática Computacional. Introduz-se uma topologia (Topologia de Scott) compatível com a idéia de aproximação, gerando uma ordem de informação, isto é, para quaisquer intervalos x e y, diz-se que se x -c y , então y fornece mais (no mínimo tanto quanto) informação, sobre um real r, do que x. Prova-se que esta ordem de informação induz uma topologia To (topologia de Scott) , que é mais adequada para uma teoria computacional que a topologia da Hausdorff introduzida por Moore [MOO 66]. Cada número real r é aproximado por intervalos de extremos racionais, os intervalos de informação, que constituem o espaço de informação II(Q), superando assim a regressão infinita da abordagem clássica. Pode-se dizer que todo real r é o supremo de uma cadeia de intervalos com extremos racionais “encaixados”. Assim, os reais são os elementos totais de um domínio contínuo, chamado de Domínio dos Intervalos Reais Parciais, cuja base é o espaço de informação II (Q). Cada função contínua da Análise Real é o limite de sequências de funções contínuas entre elementos da base do domínio. Toda função contínua nestes domínios constitui uma função monotônica na base e é completamente representada em termos finitos. É introduzida uma quasi-métrica que induz uma topologia compatível com esta abordagem e provê as propriedades quantitativas, além de possibilitar a utilização da noção de sequências, limites etc, sem que se precise recorrer a conceitos mais complexos. Desenvolvem-se uma aritmética, critérios de aproximação e os conceito de intervalo ponto médio, intervalo valor absoluto e intervalo diâmetro, conceitos compatíveis com esta abordagem. São acrescentadas as operações de união, interseção e as unárias. Apresenta-se um amplo estudo sobre a função intervalar e a inclusão de imagens de funções, com ênfase na obtenção de uma extensão intervalar natural contínua. Esta é uma abordagem de lógica construtiva e computacional. / The importance of Interval Theory for scientific computation is emphasized. A review of the Classical Theory is macle, including a discussion about some incompatibities that cause problems in developing interval algorithms. A new approach to the Interval Theory is developed in the light of the Theory of Domains and according to the ideas by Acióly [ACI 89], getting the Interval Domains of Computational Mathematics. It is introduced a topology (Scott Topology), which is associated with the idea of approximation, generating an information order, that is, for any intervals x and y one says that if x -c y, then "the information given by y is better or at least equal than the one given by x". One proves that this information order induces a To topology (Scott's topology) which is more suitable for a computation theory than that of Hausdorff introduced by Moore [MOO 66]. This approach has the advantage of being both of constructive logic and computational. Each real number is approximated by intervals with rational bounds, named information intervals of the Information Space II(Q), eliminating the infinite regression found in the classical approach. One can say that every real a is the supreme of a chain of rational intervals. Then, the real numbers are the total elements of a continuous domain, named the Domain of the Partial Real Intervals, whose basis is the information space II (Q). Each continuous function in the Real Analysis is the limit of sequences of continuous functions among any elements which belong to the base of the domain. In these same domains, each continuous function is monotonic on the base and it is completely represented by finite terms. It is introduced a quasi-metric that leads to a compatible topology and supplies the quantitative properties. An arithmetic, some approximation criteria, the concepts of mean point interval, absolute value interval and width interval are developed and set operations are added. The ideas of interval functions and the inclusion of ranges of functions are also presented, and a continuous natural interval extension is obtained.

Fundamentada a importância da utilização da Teoria dos Intervalos em computação científica, é realizada uma revisão da Teoria Clássica dos Intervalos, com críticas sobre as incompatibilidades encontradas como motivos de diversas dificuldades para desenvolvimento da própria teoria e, consequentemente, das Técnicas Intervalares. É desenvolvida uma nova abordagem para a Teoria dos Intervalos de acordo com a Teoria dos Domínios e a proposta de [ACI 89], obtendo-se os Domínios Intervalares da Matemática Computacional. Introduz-se uma topologia (Topologia de Scott) compatível com a idéia de aproximação, gerando uma ordem de informação, isto é, para quaisquer intervalos x e y, diz-se que se x -c y , então y fornece mais (no mínimo tanto quanto) informação, sobre um real r, do que x. Prova-se que esta ordem de informação induz uma topologia To (topologia de Scott) , que é mais adequada para uma teoria computacional que a topologia da Hausdorff introduzida por Moore [MOO 66]. Cada número real r é aproximado por intervalos de extremos racionais, os intervalos de informação, que constituem o espaço de informação II(Q), superando assim a regressão infinita da abordagem clássica. Pode-se dizer que todo real r é o supremo de uma cadeia de intervalos com extremos racionais “encaixados”. Assim, os reais são os elementos totais de um domínio contínuo, chamado de Domínio dos Intervalos Reais Parciais, cuja base é o espaço de informação II (Q). Cada função contínua da Análise Real é o limite de sequências de funções contínuas entre elementos da base do domínio. Toda função contínua nestes domínios constitui uma função monotônica na base e é completamente representada em termos finitos. É introduzida uma quasi-métrica que induz uma topologia compatível com esta abordagem e provê as propriedades quantitativas, além de possibilitar a utilização da noção de sequências, limites etc, sem que se precise recorrer a conceitos mais complexos. Desenvolvem-se uma aritmética, critérios de aproximação e os conceito de intervalo ponto médio, intervalo valor absoluto e intervalo diâmetro, conceitos compatíveis com esta abordagem. São acrescentadas as operações de união, interseção e as unárias. Apresenta-se um amplo estudo sobre a função intervalar e a inclusão de imagens de funções, com ênfase na obtenção de uma extensão intervalar natural contínua. Esta é uma abordagem de lógica construtiva e computacional. / The importance of Interval Theory for scientific computation is emphasized. A review of the Classical Theory is macle, including a discussion about some incompatibities that cause problems in developing interval algorithms. A new approach to the Interval Theory is developed in the light of the Theory of Domains and according to the ideas by Acióly [ACI 89], getting the Interval Domains of Computational Mathematics. It is introduced a topology (Scott Topology), which is associated with the idea of approximation, generating an information order, that is, for any intervals x and y one says that if x -c y, then "the information given by y is better or at least equal than the one given by x". One proves that this information order induces a To topology (Scott's topology) which is more suitable for a computation theory than that of Hausdorff introduced by Moore [MOO 66]. This approach has the advantage of being both of constructive logic and computational. Each real number is approximated by intervals with rational bounds, named information intervals of the Information Space II(Q), eliminating the infinite regression found in the classical approach. One can say that every real a is the supreme of a chain of rational intervals. Then, the real numbers are the total elements of a continuous domain, named the Domain of the Partial Real Intervals, whose basis is the information space II (Q). Each continuous function in the Real Analysis is the limit of sequences of continuous functions among any elements which belong to the base of the domain. In these same domains, each continuous function is monotonic on the base and it is completely represented by finite terms. It is introduced a quasi-metric that leads to a compatible topology and supplies the quantitative properties. An arithmetic, some approximation criteria, the concepts of mean point interval, absolute value interval and width interval are developed and set operations are added. The ideas of interval functions and the inclusion of ranges of functions are also presented, and a continuous natural interval extension is obtained.

Fundamentada a importância da utilização da Teoria dos Intervalos em computação científica, é realizada uma revisão da Teoria Clássica dos Intervalos, com críticas sobre as incompatibilidades encontradas como motivos de diversas dificuldades para desenvolvimento da própria teoria e, consequentemente, das Técnicas Intervalares. É desenvolvida uma nova abordagem para a Teoria dos Intervalos de acordo com a Teoria dos Domínios e a proposta de [ACI 89], obtendo-se os Domínios Intervalares da Matemática Computacional. Introduz-se uma topologia (Topologia de Scott) compatível com a idéia de aproximação, gerando uma ordem de informação, isto é, para quaisquer intervalos x e y, diz-se que se x -c y , então y fornece mais (no mínimo tanto quanto) informação, sobre um real r, do que x. Prova-se que esta ordem de informação induz uma topologia To (topologia de Scott) , que é mais adequada para uma teoria computacional que a topologia da Hausdorff introduzida por Moore [MOO 66]. Cada número real r é aproximado por intervalos de extremos racionais, os intervalos de informação, que constituem o espaço de informação II(Q), superando assim a regressão infinita da abordagem clássica. Pode-se dizer que todo real r é o supremo de uma cadeia de intervalos com extremos racionais “encaixados”. Assim, os reais são os elementos totais de um domínio contínuo, chamado de Domínio dos Intervalos Reais Parciais, cuja base é o espaço de informação II (Q). Cada função contínua da Análise Real é o limite de sequências de funções contínuas entre elementos da base do domínio. Toda função contínua nestes domínios constitui uma função monotônica na base e é completamente representada em termos finitos. É introduzida uma quasi-métrica que induz uma topologia compatível com esta abordagem e provê as propriedades quantitativas, além de possibilitar a utilização da noção de sequências, limites etc, sem que se precise recorrer a conceitos mais complexos. Desenvolvem-se uma aritmética, critérios de aproximação e os conceito de intervalo ponto médio, intervalo valor absoluto e intervalo diâmetro, conceitos compatíveis com esta abordagem. São acrescentadas as operações de união, interseção e as unárias. Apresenta-se um amplo estudo sobre a função intervalar e a inclusão de imagens de funções, com ênfase na obtenção de uma extensão intervalar natural contínua. Esta é uma abordagem de lógica construtiva e computacional. / The importance of Interval Theory for scientific computation is emphasized. A review of the Classical Theory is macle, including a discussion about some incompatibities that cause problems in developing interval algorithms. A new approach to the Interval Theory is developed in the light of the Theory of Domains and according to the ideas by Acióly [ACI 89], getting the Interval Domains of Computational Mathematics. It is introduced a topology (Scott Topology), which is associated with the idea of approximation, generating an information order, that is, for any intervals x and y one says that if x -c y, then "the information given by y is better or at least equal than the one given by x". One proves that this information order induces a To topology (Scott's topology) which is more suitable for a computation theory than that of Hausdorff introduced by Moore [MOO 66]. This approach has the advantage of being both of constructive logic and computational. Each real number is approximated by intervals with rational bounds, named information intervals of the Information Space II(Q), eliminating the infinite regression found in the classical approach. One can say that every real a is the supreme of a chain of rational intervals. Then, the real numbers are the total elements of a continuous domain, named the Domain of the Partial Real Intervals, whose basis is the information space II (Q). Each continuous function in the Real Analysis is the limit of sequences of continuous functions among any elements which belong to the base of the domain. In these same domains, each continuous function is monotonic on the base and it is completely represented by finite terms. It is introduced a quasi-metric that leads to a compatible topology and supplies the quantitative properties. An arithmetic, some approximation criteria, the concepts of mean point interval, absolute value interval and width interval are developed and set operations are added. The ideas of interval functions and the inclusion of ranges of functions are also presented, and a continuous natural interval extension is obtained.