Couvre les bases des nombres réels et de la théorie des ensembles, y compris les sous-ensembles, les intersections, les syndicats et les opérations des ensembles.
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.
