Sono un modo per definire linguaggi, tipi di dati ricorsivi, ecc: insiemi generalmente infiniti di oggetti
La definizione induttiva di un insieme S sottende:
Un principio di induzione associato, che consente di dimostrare proprietà (esprimibili nella logica del primo ordine) che valgono per tutti gli elementi di S