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...