The notion of ternary groupoid powers is introduced and some
of its properties are investigated. In particular, it is shown that the set E
of ternary groupoid powers, under a suitably defined binary operation, is a
cancellative monoid and that this monoid is free over the set of its irreducible
elements.
