Set Equivalence behaves like Equivalence Relation/Transitive

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