„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
82. sor:
== 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:
91. sor:
<center>ƒ[A] := {y | (∃x∈A):(ƒ(x)=y)} </center>
osztály. És a lényeg: Ha A halmaz, akkor ƒ[A] is halmaz.
Vagyis, ha egy halmaz elemeit behelyettesítjük egy operáció független változójának helyébe, a kapott képelemek is halmazt alkotnak. Ezért hívják ezt behelyettesítési axiómánajk. Illetve, a magyar szakirodalomban nem is így hívják, hanem „a pótlás axiómájának”. Ez vsz. az angol „replacement” (behelyettesítés) kifejezés hanyag fordítása (az angol szó pótlást is jelent, de itt nyilvánvalóan nincs ennek értelme).
== Jegyzetek ==
| |||