Quotient Structure is Well-Defined

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