Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
Explique l'infimum, le supreme, les propriétés d'Archimède, la densité rationnelle des nombres et les exercices sur les nombres irrationnels et les valeurs minimales.
Explore les fonctions réelles, couvrant la continuité, supreme, infimum, maximum, minimum, ensembles compacts et connectés, et le théorème de valeur intermédiaire.
