Uniform preorders and triposes are closely related, with relationally complete uniform preorders corresponding to triposes with enough ∃-primes.
