„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
116. sor:
# <big>''U''</big><sup>2</sup>→<big>''H''</big>; <'''x''', '''y'''> = {{x},{x,y}} (rendezettpár-képző operátor).
# 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>).
| |||