ThmDex – An index of mathematical definitions, results, and conjectures.
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
Group
Trivial group
Zero group
Definition D1241
Standard zero group
Formulation 0
An D548: Ordered pair $G = (X, f)$ is the standard zero group if and only if
(1) $X = \{ 0 \}$
(2) $f$ is the D637: Natural number addition operation on $\{ 0 \}$