Sprache erster Stufe/Interpretation/Einstelliges Relationssymbol/Teilmenge/Beispiel

Es sei ${}S$ ein Symbolalphabet, das außer einer Variablenmenge ${}V$ aus einem einzigen einstelligen Relationssymbol ${}R$ bestehe (die Konstantenmenge und die Funktionssymbolmengen seien also leer). Eine ${}S$-Struktur besteht dann aus einer nichtleeren Menge ${}M$ zusammen mit einer fixierten Teilmenge ${}U\subseteq M$. Beispiele sind ${}M=\mathbb {N}$ mit der Teilmenge der Primzahlen, oder der Teilmenge der Quadratzahlen, oder ${}M=\mathbb {R}$ mit der Teilmenge der positiven Zahlen, oder der Teilmenge der rationalen Zahlen, u.s.w.