Exercice 5, § 3

Soit $(\lambda_t)_{t \in I}$ une famille de types d'ordre (III, p.76, exerc. 13), I étant un ensemble ordonné. Montrer que Card $\left( \sum_{t \in I} \lambda_t \right) = \sum_{t \in I} \mathrm{Card}(\lambda_t)$ et (si I est bien ordonné) Card $\left( \prod_{t \in I} \lambda_t \right) = \prod_{t \in I} \mathrm{Card}(\lambda_t)$.