„Halmazrendszer” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
25. sor:
A halmazcsalád és (indexelt) halmazrendszer fogalma tehát különbözik: a halmazcsalád "rendezetlen" halmazok egy halmaza, míg a halmazrendszer bonyolultabb struktúra: "rendezett" halmazok (konkrétan, elem-halmaz-párosok) egy halmaza. A szakirodalomban e két terminus jelentése még ingadozó, sok szerző nemcsak egymástól eltérően használja a "halmazrendszer" kifejezést, de néhányan tudatában is vannak az eltéréseknek; ti. a szakkifejezések rögzítetlenségére kifejezetten fel is hívják a figyelmet <ref>Hajnal Péter: ''Halmazrendszerek.'' Polygon jegyzettár, Polygon kiadó, Szeged, 2002.; 2. old. ISSN 1417-0590. </ref>
 
Bár a szakirodalomban a „rendezett” halmazrendszerekre az „indexelt halmazrendszer” kifejezést is szokás elnevezni kifejezetten a halmazcsaládok megkülönböztetése miatt, az elnevezés némileg félreérthető; ugyanis halmazcsaládot is lehet indexes alakba írni (ilyenkor a kerek zárójel helyett kapcsosat írunk: <big>{A<sub>i</sub>} <sub>i∈I</sub>)</big>. Az indexelt halmazcsaládok eo ipso halmazrendszerek (a definíció miatt), a kapcsos zárójel használata csak azt hangsúlyozza, hogy külön kikötjük a tagok ismételhetetlenségét (azaz az f:I→''U'' indexelő függvény [[injektív függvény|injektivitását]]).
 
== A halmazrendszerek jelentősége ==