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