**basic natural number factorial sequence**is the D997: Natural number sequence \begin{equation} \mathbb{N} \to \mathbb{N}, \quad n \mapsto n ! \end{equation}

▾ 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

▾ 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

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}