This section contains some preliminary results about cyclic monoids and groups before the class of cyclic groups (see df-cyg) is defined in the context of Abelian groups.