Group

Trivial group

The trivial group is the group with only one element, the identity . #m/def/group This forms both the Initial and terminal objects of .

#state/tidy | #lang/en | #SemBr