Construction of Inverse Completion/Identity of Quotient Structure

Theorem
Let $c \in C$ be arbitrary.

Then:
 * $\eqclass {\tuple {c, c} } \boxtimes$

is the identity of $T'$.

Proof
Hence the result, by definition of identity element.