Page "Circumscription (logic)" Paragraph 5

Formally, propositional models can be represented by sets of propositional variables ; namely, each model is represented by the set of propositional variables it assigns to true.

For example, the model assigning true to, false to, and true to is represented by the set, because and are exactly the variables that are assigned to true by this model.