<aside> 📖 La definizione induttiva è la stessa come per i termini, tranne che le variabili non sono termini chiusi.

</aside>

Termini

• Sia L un linguaggio. Sia S = (U, I) una L-struttura
• L'insieme $GT(L_U)$ (Ground Terms) dei termini chiusi su $L_U$ è definito induttivamente:
  • Ogni costante c in C($L_U$) è un termine chiuso (ground term) di $L_U$
  • Se f è un simbolo di funzione e t1, t2, ... tn sono termini chiusi di $L_U$, allora anche $f(t_1, ... t_n)$ è un termine chiuso di $L_U$
  • Null'atro è un termine chiuso di $L_U$