 A proposal for defining preferences in terms of the monadic predicates for “good” and “bad” was put forward by van Benthem (1982, p. 195). It assumes that goodness and badness are defined in relation to an alternative set, so that for instance \(G_{\{x,y\}}x\) means that \(x\) is good among the alternatives in \(\{x,y\}\) and \(B_{\{x,z,w\}}x\) that \(x\) is bad among the alternatives in \(\{x,z,w\}\). This gives rise to the following definitions: 