A construction is described of a cartesian closed category A with exactly two elements out of a C-monoid such that can be recovered from A without reference to the construction.

The basic notions of the theory of term rewriting are defined for terms that may involve function letters of infinite arity. A sufficient condition for completeness is derived, and its use demonstrated by the example of abstract clones over infinitary signatures.