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

Tartalom törölve Tartalom hozzáadva
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á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 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óKonnekciók és operációoperációk|a megjegyzéseket]].</ref>.
 
: Definíció: Ha κ egy konnekció, és x,y∈<big>''U''</big> olyanok, hogy