Alamhulk: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Resümee puudub
Resümee puudub
2. rida:
[[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 vahelist [[Binaarne seos|binaarset seost]] ⊂ nimetatakse seetõttu '''sisalduvusseoseks'''.
 
Võib ka öelda, et AB on BA '''ülemhulk''', mis on samaväärne sellega, et BA on AB alamhulk. Hulk AB on hulga BA ülemhulk parajasti siis, kui hulk BA on hulga AB alamhulk. Viimase asjaolu tõttu kanduvad ülemhulgale üle kõik alamhulkade omadused, kuid seda ümberpööratud kujul.
 
== Omadused ==