An asymmetric Arzelà–Ascoli theorem

An Arzelà–Ascoli theorem for asymmetric metric spaces (sometimes called quasi-metric spaces) is proved. One genuinely asymmetric condition is introduced, and it is shown that several classic statements fail in the asymmetric context if this assumption is dropped.