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 bases de la théorie des ensembles, y compris les ensembles, les éléments, les opérations, les ensembles vides et les ensembles de définition basés sur les propriétés.
Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
