Quotient Structure is Well-Defined

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