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

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ának. Illetve, a magyar szakirodalomban nem is így hívják, hanem „a pótlás axiómájának”. Ez– ez vsz. az angol „replacement” (behelyettesítés) kifejezés hanyag fordítása (az<ref>Az angol „replacement” szó „pótlást” is jelent, de itt nyilvánvalóan nincs ennek értelme).</ref>.