Equivalence

Equivalence

graph TB Equivalence --> Reflexivity Equivalence --> Symmetry Equivalence --> Transitivity Reflexivity --- "a=a" Symmetry --- "if a=b then b=a" Transitivity --- "if a=b and b=c then a=c"