Lexikon der Mathematik: Individuenbereich
nichtleere Menge von Elementen, die als Wertebereich der Individuenvariablen einer elementaren Sprache (Prädikatenkalkül) dienen.
Ist L eine elementare Sprache und \({\mathscr{A}}\text{=}\langle A,{F}^{A},{R}^{A},{C}^{A}\rangle \) eine algebraische Struktur gleicher Signatur wie L, dann dient die Trägermenge A der Struktur \({\mathscr{A}}\) als Individuenbereich für die Interpretation von L in \({\mathscr{A}}\), d. h., die Individuenvariablen von L dürfen genau die Elemente aus A als Werte annehmen, und den Relations- und Funktionszeichen aus L werden entsprechende Relationen und Funktionen über A zugeordnet.
Schreiben Sie uns!