▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Operation
▾ N-operation
▾ Binary operation
▾ Enclosed binary operation
▾ Groupoid
▾ Ringoid
▾ Semiring
▾ Ring
▾ Factor
▾ Divisor
▾ Two-sided divisor
▾ Prime element
▾ Prime integer
▾ Prime integer sequence
Primorial function
Formulation 0
The primorial function is the D4949: Natural number function \begin{equation} \mathbb{N} \to \mathbb{N}, \quad n \mapsto \prod_{1 \leq p \leq n \, : \, p \text{ prime}} p \end{equation}