This paper systematically studies the existence of maximal elements for unordered binary relation on compact or noncompact sets in a general topological space. This is done by developing a method, called transfer method, to derive various necessary and sufficient conditions that characterize the...