Congruence is basically the same as equality, just in a
different form.
Reflexive Property of Congruence: AB =~ AB
Symmetric Property of Congruence: angle P =~ angle Q, then angle
Q =~ angle P
Transitive Property of Congruence: If A =~ B and B =~ C, then A
=~ C