„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ánajkaxiómának. 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„pótlást” is jelent, de itt nyilvánvalóan nincs ennek értelme).