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