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.
Couvre les tests d'identité polynomiale à l'aide d'oracles et d'évaluations ponctuelles aléatoires, avec des applications dans la théorie des graphes et les aspects algorithmiques.
Explore les réseaux dirigés avec des relations asymétriques et des hypergraphes qui généralisent les graphiques en permettant aux bords de connecter n'importe quel sous-ensemble de nœuds.