1. Informatique, MathématiquesPartie non récursive d’une définition récursive ou d’un algorithme récursif.Le cas de base du type des listes est la liste vide.
2. MathématiquesPropriété dite d’initialisation dans un raisonnement par induction.Pour prouver la propriété P pour tout entier naturel par récurrence, on prouve le cas de base qui est P(0) et on prouve l’hérédité, c’est-à-dire ∀ n ∈ ℕ, P(n) ⇒ P(n + 1).