Maximal elements of non-binary choice functions on compact sets

We give sufficient conditions for the existence of maximal elements on compact sets for ‘contraction consistent’ (but possibly non-binary) choice functions. Our result generalizes the Bergstrom-Walker theorem on the existence of maximal elements with acyclic preference relation