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).