„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
108. sor:
=== Példák operációkra ===
Legyen {p | (∃x,y∈<big>''U''</big>):(p=<x,y>)} = <big>''U''</big><sup>2</sup>.
# Tetszőleges x∈<big>''U''</big>-ra egy <big>''U''</big>→<big>''U''</big> alakú operáció a következő: {'''x'''}, azaz amely képezi egy individuumból az azt tartalmazó egyelemű halmazt.
# ''P'': <big>''U''</big>→<big>''U''</big>; ''P''('''X''') (hatványhalmaz-képző operátor).
# <big>''U''</big><sup>2</sup>→<big>''H''</big>; {'''x''','''
# 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).
| |||