Expansion

Eine Struktur $\mathcal{B}$ heißt Expansion einer Struktur $\mathcal{A}$, wenn $\mathcal{A}$ ein Redukt von $\mathcal{B}$ ist. Man fügt also der Struktur $\mathcal{A}$ neue Relationen, Funktionen oder Konstanten hinzu.