EDB — 1Y8

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

Vista

Italiano

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à.

Scarica PDF
Autori: "Mennucci , Andrea C. G." .
Bibliografia
Indice analitico
  • assioma, di estensionalità
  • uguaglianza, in teoria degli insiemi
  • = , si veda uguaglianza
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese