„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
: Definíció: Ha κ egy konnekció, és x,y∈<big>''U''</big> olyanok, hogy
|