Alamhulk: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
PResümee puudub
Resümee puudub
1. rida:
[[Pilt:Venn A subset B.svg|thumb|right|180px|[[Venni diagramm]]: ''A'' on ''B'' alamhulk'' ehk ''B'' on ''A'' ülemhulk]]
[[Matemaatika]]s nimetatakse [[hulk]]a A hulga B '''alamhulgaks''' ehk '''osahulgaks''', kui kõik hulga A elemendid on ühtlasi hulga B elementidekselemendid. 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'''.
 
== Omadused ==
 
Vahetult definitsioonistDefinitsioonist järelduvad järgmised omadused:
<ol>
<li> ''[[Refleksiivsus]]'': iga hulk on iseenda alamhulk ,