„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
46. sor:
=== Konnekció metszete és leszűkítése ===
: Definíció: Legyen κ konnekció, valamint A és B tetszőleges osztályok. Ekkor a κ A-ra és B-re való '''leszűkítés'''én (vagy '''megszorítás'''án) azon κ-beli rendezett párok osztályát értjük, melyek első koordinátája A-beli, a második B-beli.
<center>κ<sub>|A,B</sub> := {p∈κ | } </center>
Később bevezetett jelölések segítségével egyébként érvényes:
<center>κ<sub>|A,B</sub> = κ∩(A×B) </center>
Magától értetődik, hogy ha A bővebb (nem szűkebb) mint D(κ) és B bővebb (nem szűkebb), mint R(κ), akkor κ<sub>|A,B</sub> = κ.
== Operáció ==
| |||