 If the choice function is defined over all subsets of \(\mathcal{B}, \succcurlyeq^S\) is complete.  \(\succ^S\) does not necessarily satisfy transitivity of strict preference, transitivity of indifference, IP- or PI-transitivity. Two further methods are described in the supplementary document: