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.