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 .
Categoria:Teoria dei linguaggi formali Categoria:Teoria degli insiemi
de:Hüllenoperator en:Closure (mathematics) fa:بستار (ریاضی) fr:Clôture (mathématiques) he:סגירות (אלגברה) hr:Zatvorenost (matematika) is:Lokun ja:生成 (数学) ko:닫힘 (수학) nl:Afsluiting (wiskunde) pl:Działanie wewnętrzne pt:Fechamento sr:Затвореност (математика) zh:闭包 (数学)