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

Tartalom törölve Tartalom hozzáadva
mégis inkább vissza. a tervezett nyomtatóbarát (pdf) változat miatt van ennyi leutalás lábjegyzetben.
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 (ld<ref>Ld. a [[#A konnekció alapfogalom|megjegyzéseket]]).</ref>. Ezért '''alapfogalom'''nak tekintjük Egyébként ugyanazt a halmazelméletet kapjuk, ha speciális esetét, az operáció fogalmát tekintenénk alapfogalomnak (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