Chiusura induttiva

Sia $\mathcal{A}$ un insieme e $\mathcal{F}$ un insieme di operazioni di arietà assegnata. Si definisce chiusura induttiva

$\mathcal{C} los \left ( \mathcal{A}, \mathcal{F} \right )$

il minimo insieme che verifica le seguenti condizioni:

1. $\mathcal{A} \subseteq \mathcal{C} los \left ( \mathcal{A}, \mathcal{F} \right )$
2. Se $\left ( x_1, x_2, ..., x_n \right )$ sono elementi di $\mathcal{C} los \left ( \mathcal{A}, \mathcal{F} \right )$, $f\in\mathcal{F}$ e $f \left ( x_1, x_2, ..., x_n \right )$ è definita in $\mathcal{F}$, allora $f \left ( x_1, x_2, ..., x_n \right ) \in \mathcal{C} los \left ( \mathcal{A}, \mathcal{F} \right )$.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica