Atomic monoid

Definition with symbols
An atom in a monoid is an element in the monoid that cannot be expressed as a product of nonidentity elements of the monoid. A monoid is said to be atomic if:


 * Every element can be expressed as a product of atoms
 * For every element, the supremum of lengths of all possible words in the atoms that can be used to express it, is finite