Symbols:Abbreviations/U

UF

 * Ultrafilter Lemma.

UFD

 * Unique factorization domain.

UL

 * Ultrafilter Lemma.

URM

 * Unlimited register machine: an abstraction of a computing device with certain particular characteristics.