Sia un insieme e un insieme di operazioni di arietà assegnata. Si definisce chiusura induttiva
il minimo insieme che verifica le seguenti condizioni:
Categorie: Linguaggi formali | Teoria degli insiemi