Quotient Structure is Similar to Structure

Theorem
Let $\RR$ be a congruence relation on a algebraic structure $\struct {G, \circ}$.

Then the quotient structure $\struct {G / \RR, \circ_\RR}$ is a similar structure to $\struct {G, \circ}$.