axiom of extensionality

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

axiom of extensionality

  1. (set theory) One of the axioms in axiomatic set theory, equivalent to the statement that two sets are equal if and only if they contain the same elements.

Translations[edit]