„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
45. sor:
Itt a (∀y) helyett (∀y∈<big>''U''</big>) vagy (∀x∈R(κ)) is írható.
=== Konnekció
: 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∈κ | (∃x∈A)(∃y∈B):(p=<x,y>) } </center>
57. sor:
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> = κ.
=== Konnekció metszete ===
: Definíció: Legyen κ konnekció, valamint A tetszőleges osztály. Ekkor a κ A-ra vonatkozó '''metszet'''én azon R(κ)-beli elemek osztályát értjük, amelyek κ-beli rendezett párt alkotnak az A valamely elemével.
<center>κ[A] := {y∈R(κ) | (∃x∈A):(<x,y>∈κ) } </center>
== Operáció ==
| |||