Equivalence

Properties

Reflexive

$A\sim A$

Symmetric

$A\sim B⟺B\sim A$

Transitive

$A\sim B\wedge B\sim C⟺A\sim C$