Branches History Index

◀ ▲ ▶Branches / Set-theory / Proof

Proof

(related to Corollary: Equality of Sets)

The corollary follows immediately from the axiom of extensionality.

∎

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

Github:
bookofproofs

References

Bibliography

  1. Mendelson Elliott: "Theory and Problems of Boolean Algebra and Switching Circuits", McGraw-Hill Book Company, 1982