Construction of Inverse Completion/Identity of Quotient Structure

Theorem
Let $c \in C$ be arbitrary.

Then:
 * $\left[\!\left[{\left({c, c}\right)}\right]\!\right]_\boxtimes$

is the identity of $T'$.

Proof
Hence the result, by definition of identity element.