▾ 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
▾ Semigroup
▾ Monoid
▾ Multiplicative monoid of integers
▾ Multiplicative monoid of natural numbers
▾ Natural number factorial function
Factorial sequence
Formulation 0
The basic natural number factorial sequence is the D997: Natural number sequence \begin{equation} \mathbb{N} \to \mathbb{N}, \quad n \mapsto n ! \end{equation}