Explore les états asymptotiques, la matrice S et les opérateurs de la théorie quantique des champs, en mettant l'accent sur le rôle des symétries discrètes et des ensembles complets d'états.
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.
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.