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

Tartalom törölve Tartalom hozzáadva
62. sor:
 
Igen zavaró, hogy helytakarékosság és más okok miatt az előírásból sokszor elhagyják az alap- és képtartomány feltüntetését, bár ezt mi is alkalmazni fogjuk. Ennek az a hátránya, hogy sok esetben összekeveredhet, hogy egy κ('''x''')='''y''' alakú jelsor épp az egész operációt jelöli-e, vagy csak egy konkrét elem ama operáció (κ) szerinti képét. Ezt próbáljuk azzal kivédeni, hogy ha általános (pl. definiáló) azonosságról van szó és nem az operáció valamely konkrét konstansra vagy paraméterre való alkalmazásáról, akkor megvastagítjuk a független változót (azaz amelyik a κ jel után zárójelben áll).
 
== Példák ==
 
=== Példák konnekciókra ===
 
Összegyűjtjük az eddig szereplő legfontosabb konnekciókat.
 
# ∈. D(∈)=R(∈)=<big>''U''</big>.
 
 
=== Példák operációkra ===