▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Binary endorelation
▾ Preordering relation
▾ Partial ordering relation
▾ Partially ordered set
▾ Closed interval
▾ Implicit interval partition
▾ Implicit basic real interval partition
▾ Closed real interval tagged partition
▾ Stieltjes sum
▾ Riemann sum
▾ Riemann integrable real function
▾ Real Riemann integral
▾ Standard natural real logarithm function
Natural real entropy function
Formulation 0
The natural real entropy function is the D4364: Real function \begin{equation} (0, \infty) \to \mathbb{R}, \quad x \mapsto x \log x \end{equation}