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
7. 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ár csakaká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. Ezért '''alapfogalom'''nak tekintjük Egyébként majdnem ugyanazt kapjuk, ha speciális esetét, az operáció fogalmát tekintenénk annak (ahogy Hajnal és Hamburger, vagy Komjáth teszik [[Halmazelmélet#Irodalom|idézett]] munkáikban) <ref>Ld. [[#Konnekció és operáció|a megjegyzéseket]].</ref>.
 
Hogy miért nem formalizálható ez a fogalom? Természetesen azért, mert "az olyan osztályok, amelyek" ... szövegek nem formalizálhatóak az osztályelméletben, hiszen az osztályok nem alkotnak osztályt. Emlékeztetünk rá: az
A lap eredeti címe: „https://hu.wikibooks.org/wiki/Szerkesztő:Gubbubu/Halmazelmélet/Konnekció,_operáció”