Wikikönyvek

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

Laptörténet interaktív böngészése
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
8. sor:
: Definíció: Egy olyan osztályt, amelynek minden eleme rendezett pár, '''konnekció'''nak (hosszabb kifejezéssel, osztályokra általánosított bináris relációnak vagy másodrendű relációnak) nevezünk.
 
Sajnos - akárcsak egy valódi osztály részhalmazainak sokasága, az osztálycsaládok sokasága, vagy az összes osztály sokasága - az osztályelméletben ez nem formalizálható fogalom <ref>Ld. a [[#A konnekció alapfogalom|megjegyzéseket]].</ref>. Ezért '''alapfogalom'''nak tekintjük Egyébként majdnem ugyanazt a halmazelméletet kapjuk, ha speciális esetét, az operáció fogalmát tekintenénk annakalapfogalomnak (ahogy Hajnal és Hamburger, vagy Komjáth teszik [[Halmazelmélet#Irodalom|idézett]] munkáikban) <ref>Ld. [[#Konnekciók és operációk|a megjegyzéseket]].</ref>.
 
: Definíció: Ha κ egy konnekció, és x,y∈<big>''U''</big> olyanok, hogy
14. sor:
akkor ehelyett szokásosan azt is írjuk,
<center>xκy,</center>
és azt mondjuk, az x és y individuumok a κ konnekcióban vannak egymással. Ez csak egy másféle írásmód, amit '''infix''' írás- v. jelölésmódnak nevezünk.
 
=== Alaposztály és képosztály ===
A lap eredeti címe: „https://hu.wikibooks.org/wiki/Szerkesztő:Gubbubu/Halmazelmélet/Konnekció,_operáció”