Quotient Structure is Well-Defined

Theorem
The operation $\circ_{\mathcal{R}}$ induced on $S / \mathcal{R}$ by $\circ$ is well-defined.

Proof
$$ $$ $$ $$