EDB — 1Y8

↑ ← → ↓ view in whole PDF view in whole HTML

View

Italian

Definizione 37

[1Y8] (Svolto il 2022-10) Si aggiunge anche il connettivo \(a= b\) fra insiemi, che è vero quando

\[ ∀ x, x∈ a \iff x∈ b~ ~ . \]

Questo è l’assioma di estensionalità.

Download PDF
Authors: "Mennucci , Andrea C. G." .
Bibliography
Book index
  • assioma, di estensionalità
  • uguaglianza, in teoria degli insiemi
  • = , see uguaglianza
Managing blob in: Multiple languages
This content is available in: Italian English