Questa voce sull'argomento matematica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.
Sia un insieme e un insieme di operazioni di arietà assegnata. Si definisce chiusura induttiva
il minimo insieme che verifica le seguenti condizioni:
- Se sono elementi di , e è definita in , allora .
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica