Récurrence Transfinie

Une méthode pour définir des fonctions, suites ou classes indexées par les ordinaux en spécifiant la valeur en zéro, la règle au successeur d'un ordinal en fonction des valeurs antérieures, et la valeur en un ordinal limite comme fonction (souvent borne supérieure, réunion ou limite) des valeurs aux ordinaux plus petits.