we show that in {bf zf} set theory without choice, the ultrafilter mbox{principle} ({bf up}) is equivalent to several compactness theorems for alexandroff discrete spaces and to rudin's lemma, a basic tool in topology and the theory of quasi-continuous domains. important consequences of rudin's lemma are various lift lemmas, saying that certain properties of posets are inherited by th...