Introduit des produits indexés en groupes abeliens, expliquant les définitions, les exemples et les propriétés universelles dans la notation mathématique.
Couvre le théorème de Doignon en programmation entière, indiquant qu'un ensemble est minimalement irréalisable si la suppression de toute contrainte le rend réalisable.
