We study the existence of undominated elements of acyclic and irreflexive relations. A sufficient condition for the existence is given in the general case without any topological assumptions. Sufficient conditions are also given when the relation in question is defined on a compact Hausdorff...