monoxide

n : an oxide containing just one atom of oxygen in the molecule

monoid

An operator ▫ and a value x form a monoid if ▫ is

{associative} and x is its left and right {identity}.