„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
21. sor:
: Definíció:
# Egy κ konnekció '''alaposztály'''a vagy '''alaptartomány'''a az elemei [[Halmazelmélet/Párok#A Kuratowski-modell|első koordinátái]] osztálya (ha ez létezik). Jele D(κ).
# Egy κ konnekció '''képosztály'''a vagy '''képtartomány'''a az elemei [[Halmazelmélet/Párok#A Kuratowski-modell|második koordinátáinak]] halmaza (ha ez létezik). Jele R(κ).
Ez szóban világos. Egy konnekció rendezett párok osztálya, tehát elemeinek van első és második koordinátája is, és ha ezek osztályokat alkotnak, akkor képezhetőek ezen osztályok. Formálisan mindez így néz ki <ref>A következő két betűjel elterjedt a nemzetközi szakirodalomban. A D(κ) betűjel az angol „domain (of thinking)” (''értelmezési tartomány'') kifejezés kezdőbetűje, míg az R(κ) a "range" (''hatókör'', ''kiterjedés'') első betűjéből rövidült.</ref>:
| |||