Quotient Structure is Similar to Structure

Theorem
Let $\mathcal R$ be a congruence relation on a algebraic structure $\left({G, \circ}\right)$.

Then the quotient structure $\left({G / \mathcal R, \circ_\mathcal R}\right)$ is a similar structure to $\left({G, \circ}\right)$.