Set equality
THEOREM
Set equality is reflexive.
$$\vdash A = A$$
Proof available
THEOREM
Set equality is symmetric.
$$A = B \vdash B = A$$
Proof available
THEOREM
Set equality is transitive.
$$A = B,\ B = C \vdash A = C$$
Proof available