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 bases de données relationnelles, les transactions et la cohérence des données dans le contexte des typologies historiques des bases de données.
Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.