„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
60. sor:
=== Operáció ===
: Definíció: Egy κ konnekciót '''operáció'''nak (avagy másodrendű függvénynek) nevezünk, ha balról egyértelmű. Ha a κ konnekciónak van alaptartománya és ez D(κ), akkor a D(κ) '''osztályon értelmezett operáció'''ról is beszélünk. Továbbá, ha
<center><x,y>∈κ;</center>
: akkor ezt így is írjuk:
| |||