In Tao's Analysis I, the equality of sets is classified as an axiom rather than a definition.
The user is questioning why a specific statement about set equality is labeled an axiom rather than a definition in Tao's Analysis I, and notes that the book's edition has changed this classification. The discussion revolves around the dist…