Axiom of extensionality

The axiom of extensionality,[1][2] also called the axiom of extent,[3][4] is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory.[5][6] The axiom defines what a set is.[1] Informally, the axiom means that the two sets A and B are equal if and only if A and B have the same members.

  1. ^ a b "AxiomaticSetTheory". www.cs.yale.edu. Retrieved 2024-08-20.
  2. ^ "Naive Set Theory". sites.pitt.edu. Retrieved 2024-08-20.
  3. ^ Bourbaki, N. (2013-12-01). Theory of Sets. Springer Science & Business Media. p. 67. ISBN 978-3-642-59309-3.
  4. ^ Deskins, W. E. (2012-05-24). Abstract Algebra. Courier Corporation. p. 2. ISBN 978-0-486-15846-4.
  5. ^ "Zermelo-Fraenkel Set Theory". www.cs.odu.edu. Retrieved 2024-08-20.
  6. ^ "Intro to Axiomatic (ZF) Set Theory". www.andrew.cmu.edu. Retrieved 2024-08-20.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search