next up previous contents
suivant : 4.1.2 Exemple remonter : 4.1 Définitions par induction précédent : 4.1 Définitions par induction

4.1.1 Définition

On définit un ensemble $E$ par induction en deux étapes :



Alexandre
2009-07-20