Sia A{\displaystyle {\mathcal {A}}} un insieme e F{\displaystyle {\mathcal {F}}} un insieme di operazioni di arietà assegnata. Si definisce chiusura induttiva
il minimo insieme che verifica le seguenti condizioni: