Définition

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

• La base La base est une liste d'éléments de $E$ qui sont des atomes. On les notes $\mathcal{A}$ et on la propriété $\mathcal{A} \subset E$.
• L'induction L'induction est un ensemble de règles permettant de créer un élément de $E$ avec d'autres éléments de $E$. Chaque règle est une fonction $f : E^k \longrightarrow E$ telle que si $(E_1, \ldots, E_k)$ est un $k$-uplet d'éléments de $E$, alors $f(E_1, \ldots, E_k) \in E$.