 The derivation of combinative preferences from exclusionary preferences can be obtained with a representation function. By this is meant a function \(f\) that takes us from a pair \(\langle p,q\rangle\) of sentences to a set \(f(\langle p,q\rangle)\) of pairs of alternatives (perhaps possible worlds). Then \(p\succcurlyeq\)\(_f\)q holds if and only if \(A\succcurlyeq B\) for all \(\langle A,B\rangle \in f(\langle p,q\rangle)\) (Hansson 2001, 70–73).