Example image of eyePlorer eyePlorer map for 'Upper and lower bounds': Infimum Supremum Transitive relation Greatest element Dedekind cut Natural number Total order Integer Rational number Function (mathematics) Codomain Domain of a function Singleton (mathematics) Alexander Razborov Bargmann's limit Bhatia–Davis inequality Bound graph Bounded complete poset Brun–Titchmarsh theorem Delta lemma Directed set Dudley's theorem Estimation lemma Heawood conjecture Heawood number Hoeffding's inequality Holevo's theorem Least upper bound axiom Markov's inequality McDiarmid's inequality Minkowski's bound Popoviciu's inequality on variances Pseudoideal Skewes' number Uniform boundedness Zorn's lemma Bernard Chazelle Frink ideal Integer relation algorithm Introduction to systolic geometry Legendre sieve Limit (music) Polynomial time Decision tree model Essential supremum and essential infimum Estimation Fürer's algorithm Matti Jutila Synchronizing word Bitemporal data