Wikikönyvek

„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés

Laptörténet interaktív böngészése
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
115. sor:
# Az {x|...} intenzionális (vagy komprehenzió-) operátor. Ennek alaptartománya a halmazelmélet összes elképzelhető értelmes [[formula|formulája]], képtartománya pedig az osztályok sokasága.
# <big>''U''</big><sup>2</sup>→<big>''H''</big>; <'''x''', '''y'''> = {{x},{x,y}} (rendezettpár-képző operátor).
# Legyen ∪ az ún. [[Halmazelmélet/Osztályműveletek#Unió|egyesítés]] művelete: ha A,B osztályok, akkor A∪B := {x | x∈A ∨ x∈B}. Tetszőleges '''x'''∈<big>''H''</big>-ra képezhető a α('''x''')='''x'''∪{∅} operáció, ez hozzáadja a tárgyhalmazhoz az üres halmazt elemként.
# Ha vesszük az <'''X''','''Y'''> alakú párok osztályát, ahol '''X''' és '''Y''' tetszőleges halmazok, akkor az υ(<'''X''','''X'''>) = '''X'''∪'''Y''' is egy operáció (ennek alaptartományát még nem tudjuk kifejezni, a [[következő fejezet]]ben kiderül, hogy ez <big>''H''</big>×<big>''H''</big>).
 
 
A lap eredeti címe: „https://hu.wikibooks.org/wiki/Szerkesztő:Gubbubu/Halmazelmélet/Konnekció,_operáció”