 Given that the intension of a sentence \(s\) is the set of all worlds in which the sentence if true, and that the content of a sentence is the set of all worlds in which \(s\) is false, the intension and the content of a sentence \(s\) form a partition on the set of all worlds \(W\).