Modell/Teilmenge/Funktional abgeschlossen/Definition/Begriff

Eine funktional abgeschlossene Teilmenge ${}T\subseteq M$ einer ${}S$-Struktur ${}M$, wobei ${}S$ ein erststufiges Symbolalphabet bezeichnet.