Ultrafilter Lemma/Also known as

Ultrafilter Lemma: Also known as
The Ultrafilter Lemma can also be referred to as:
 * the ultrafilter principle
 * the ultrafilter theorem

and abbreviated UL or UF.