„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
79. sor:
 
És így tovább, még végtelen sok hasonló példa kitalálható.
 
== Konnekxió metszete és leszűkítése ==
 
== A pótlási axióma ==
 
Az operáció fogalmához egy erős axióma is kapcsolódik:
 
: (A11) A '''behelyettesítési axióma''' avagy '''a pótlás axiómája'''
 
Ha ƒ tetszőleges operáció és A olyan osztály, amelyre A⊆D(ƒ), akkor létezik az
<center>ƒ[A] := {y | (∃x∈A):(ƒ(x)=y)} </center>
osztály. És a lényeg: Ha A halmaz, akkor ƒ[A] is halmaz.
 
== Jegyzetek ==