Generierte Substruktur

Der $\tau$-Abschluss einer Menge $A\subseteq B$, bezeichnet als $c{l}_{\tau }(A)$, ist die kleinste $\tau$-abgeschlossene Menge, die $A$ enthält.
Die von $A$ induzierte Substruktur ist die Substruktur von $\mathcal{B}$ mit dem Universum $c{l}_{\tau }(A)$.
Beispiel: In $(\mathbb{Z},+,0)$ induziert die Menge $\{1\}$ die Substruktur der natürlichen Zahlen $\mathbb{N}$ (da $1+1=2,1+2=3,\dots$).