EDB β€” 1Y8

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Definition 37

[1Y8] (Solved on 2022-10) We also add the connective \(a= b\) between sets, which is true when

\[ βˆ€ x, x∈ a \iff x∈ b~ ~ . \]

This is the axiom of extensionality.

Download PDF
Authors: "Mennucci , Andrea C. G." .
Bibliography
Book index
  • axiom, of extensionality
  • equality, in set theory
  • = , see equality
Managing blob in: Multiple languages
This content is available in: Italian English