On the existence of maximal elements · Study