suivant : 4.1.2 Exemple
remonter : 4.1 Définitions par induction
précédent : 4.1 Définitions par induction
On définit un ensemble
par induction en deux étapes :
- La base
La base est une liste d'éléments de
qui sont des atomes. On les
notes
et on la propriété
.
- L'induction
L'induction est un ensemble de règles permettant de créer un élément
de
avec d'autres éléments de
. Chaque règle est une fonction
telle que si
est un
-uplet d'éléments de
, alors
.
Alexandre
2009-07-20