Extension Theorem for Distributive Operations

Theorem
Let $\struct {R, *}$ be a commutative semigroup, all of whose elements are cancellable.

Let $\struct {T, *}$ be an inverse completion of $\struct {R, *}$.

Let $\circ$ be an operation on $R$ which distributes over $*$.

Then the following hold: