Definierbarkeit (Logik)

Sei $\mathcal{K}$ eine Klasse von Strukturen. Eine Unterklasse $\mathcal{C}\subseteq \mathcal{K}$ heißt FO-definierbar in $\mathcal{K}$, wenn es einen Satz $\phi$ gibt, sodass für alle $\mathcal{A}\in \mathcal{K}$ gilt:

Man schreibt oft $\mathcal{C}=Mo{d}_{\mathcal{K}}(\phi )$.