2
$\begingroup$

What does the following mean in terms of sets? Can someone explain this in words?

$$\{x \mid I \vDash \varphi(x)\}$$

where $I$ is an interpretation

2 Answers 2