EDB — 1YM

view in whole PDF view in whole HTML

Vista

Italiano

Esercizio 172

[1YM]Prerequisiti:[01R],[(3.171)],[24V]. 1 Mostrate che

x=yS(x)=S(y).

In particolare questo dimostra che, se A è un insieme S-saturo, allora è ben definita la funzione S:AA, il cui grafico è la relazione

{(x,y)A2:y=S(x)};

inoltre S è iniettiva.

Soluzione 1

[1YN]

  1. Proposizione 1.7.4 punto 5 in [ 3 ] .
Scarica PDF
Bibliografia
Indice analitico
  • successore, nella teoria degli insiemi di Zermelo—Fraenkel
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese