„Művelet” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
73. sor:
Legyen adott két [[diszjunktság|diszjunkt]] halmaz, az O (ún. '''operátortartomány''') és az A ('''alaphalmaz'''); tehát O∩A = [[üres halmaz|∅]]. Az A halmazon értelmezett – avagy az A halmaz feletti – n-változós (vagy n-áris, n∈ℕ<sup>+</sup>) '''külső''' (vagy inhomogén) '''művelet'''en egy
<center> <big><big> μ: (
leképezést értünk; ahol <math> \mbox{ }_{ O^n \ := \ \begin{matrix} \underbrace{ \mbox{ }_{ O \times O \times ... \times O } } \\ \mbox{ }_{ \mbox{n-szer} } \end{matrix} } </math>.
95. sor:
=== Külső művelethez asszociált belső művelet ===
Legyen adott a [[diszjunktság|diszjunkt]] O operátortartomány és A alaphalmaz felett értelmezett μ: (
<center><big> μ<sub>ω</sub>: A→A; μ<sub>ω</sub>(x) = (o<sub>1</sub>, o<sub>2</sub>, … o<sub>n</sub>, x) </big></center>
|