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.
Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.
Couvre les pouvoirs, les racines, les règles de calcul, les fonctions logarithmiques, les fonctions réciproques, les ensembles et les notations de base.
Couvre les propriétés des nombres réels, en se concentrant sur l'ordre total et l'exhaustivité, y compris la propriété Archimède et les concepts de supreme et d'infimum.
