positive real number
real number strictly greater than zero
module of an automorphism
invariant of automorphism with respect ot Haar measure
Lebesgue number
given a cover of a metric space, a positive real number δ such that any set of diameter smaller than δ is a subset of a member of the cover
power of two
two raised to an integer power
Porter's constant
constant term in the average number of iterations of Euclid’s algorithm for fixed 𝑛 and averaged over all choices of relatively prime integers 𝑚<𝑛
large number
number which is significantly larger than those ordinarily used in everyday life
one and a half
numeral for 1.5