By generalizing the classical Knaster-Kuratowski-Mazurkiewicz Theorem, we obtain a result that provides sufficient conditions to ensure the non-emptiness of several kinds of choice functions. This result generalizes well-known results on the existence of maximal elements for binary relations...

We provide the first necessary and su±cient conditions in the literature for the existence of maximal elements in a non-binary choice framework. As an application, the characterization of the existence of maximal elements for acyclic binary relations obtained in Rodriguez-Palmero and...

By generalizing the classical Knaster-Kuratowski-Mazurkiewicz Theorem, we obtain a result that provides sufficient conditions to ensure the non-emptiness of several kinds of choice functions. This result generalizes well-known results on the existence of maximal elements for binary relations...