Set Equivalence behaves like Equivalence Relation/Transitive

Theorem
Set equivalence is a transitive relation:
 * $S_1 \sim S_2 \land S_2 \sim S_3 \implies S_1 \sim S_3$

Proof
Therefore set equivalence is transitive.