You need to enable JavaScript to run this app.
Expii
Congruence Is Reflexive, Symmetric, and Transitive - Expii
Congruence shares properties with algebraic equality: transitivity (if A ≅ B and B ≅ C, then A ≅ C), reflexivity (things equal themselves: A ≅ A, and symmetry (A ≅ B is the same as B ≅ A).