 In the definition, ‘\(\mathcal{P}(W)\)’ denotes the powerset of W: It consists of all the subsets of W. Hence \(V(p)\), the valuation of atom p in the model M, is some subset of the possible worlds: Those where p is true. In this general definition, R can be any relation on W.