Proof

(related to Proposition: The Equality of Sets Is an Equivalence Relation)

Please note that there is no set of all sets. Therefore, our universal set $U$ is some given set. We want to show that the equality of sets "$=$" fulfills all the defining properties of an equivalence relation for every subset of $A\subseteq U:$


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Landau, Edmund: "Grundlagen der Analysis", Heldermann Verlag, 2008