Introduit des enregistrements, des variantes, des règles d'évaluation, des règles de dactylographie, des défis d'aliasing et des avantages dans les langages de programmation.
Couvre la mesurabilité, l'indépendance des ensembles, les sigma-algèbres, les ensembles de cylindres, les co-algèbres, l'unicité et l'extension des mesures.
