Analyse réelleL'analyse réelle est la branche de l'analyse qui étudie les ensembles de réels et les fonctions de variables réelles. Elle étudie des concepts comme les suites et leurs limites, la continuité, la dérivation, l'intégration et les suites de fonctions. La présentation de l'analyse réelle dans les ouvrages avancés commence habituellement avec des démonstrations simples de résultats de la théorie naïve des ensembles, une définition claire de la notion de fonction, une introduction aux entiers naturels et la démonstration importante du raisonnement par récurrence.
Nombre surréelvignette|Représentation d'une partie de l'arbre des nombres surréels. En mathématiques, les nombres surréels sont les éléments d'une classe incluant celle des réels et celle des nombres ordinaux transfinis, et sur laquelle a été définie une structure de corps ; ceci signifie en particulier que l'on définit des inverses des nombres ordinaux transfinis ; ces ordinaux et leurs inverses sont respectivement plus grands et plus petits que n'importe quel nombre réel positif. Les surréels ne forment pas un ensemble au sens de la théorie usuelle.
Propriété de la borne supérieureEn mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure. De même, un ensemble ordonné possède la propriété de la borne inférieure si tous ses sous-ensembles non vides et minorés possèdent une borne inférieure. Il s'avère que ces deux propriétés sont équivalentes. On dit aussi parfois qu'un ensemble possédant la propriété de la borne supérieure est Dedekind complet. Soit un ensemble ordonné (partiellement ou totalement).
