Alamhulk: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Resümee puudub
PResümee puudub
1. rida:
[[Pilt:Venn A subset B.svg|pisi|[[Venni diagramm]]: ''A'' on ''B'' alamhulk ehk ''B'' on ''A'' ülemhulk]]
[[Matemaatika]]s nimetatakse [[hulk]]a A hulga B '''alamhulgaks''' ehk '''osahulgaks''' ehk '''alamsüsteemiks'''<ref> Ü. Kaasik, Matemaatikaleksikon (2002) </ref>, kui kõik hulga A elemendid on ühtlasi hulga B elemendid. Seda asjaolu tähistatakse A ⊂ B või A ⊆ B<ref> P. Oja, Hulgateooria (2006), lk 6 </ref>. Alamhulgaks olemist nimetatakse '''sisalduvuseks''' ja asjaolu A ⊂ B kohta öeldakse ka, et hulk A sisaldub hulgas B. Hulkade vahelistHulkadevahelist [[Binaarne seos|binaarset seost]] ⊂ nimetatakse seetõttu '''sisalduvusseoseks'''.
 
Võib ka öelda, et B on A '''ülemhulk''', mis on samaväärne sellega, et A on B alamhulk. Hulk B on hulga A ülemhulk parajasti siis, kui hulk A on hulga B alamhulk. Viimase asjaolu tõttu kanduvad ülemhulgale üle kõik alamhulkade omadused, kuid seda ümberpööratud kujul.