|
|
|
[[Mynd:Set subsetAofB.png|thumb|[[Venn-mynd]] þar sem ''A'' er hlutmengi ''B'']]
'''Hlutmengi''' er [[mengi]] ''A'', sem venslað er öðru mengi ''B'' þannig að ''A'' hefur eittöll eða fleirisín stök sameiginleg með ''B'', táknað ''A'' ⊆ ''B''. Öll mengi eru hlutmengi í sjálfu sér og [[sammengi]] allra hlutmengja tiltekins mengis er mengið sjálft. [[Tómamengið]] er hlutmengi í öllum mengjum. Mengi allra hlutmengja tiltekins mengis ''S'' nefnist [[veldismengi]], táknað með <math>\mathcal{P}(S)</math>. Ef mengið ''S'' hefur n stök, þá hefur mengið <math>\mathcal{P}(S)</math> 2<sup>n</sup> stök. Ef mengi ''A'' er hlutmengi í ''B'' og mengið ''B'' hefur a.m.k. eitt stak umfram ''A'', kallast mengið ''A'' ''eiginlegt hlutmengi'' í ''B'', táknað með ''A'' ⊂ ''B''.
{{Stæ-stubbur}}
|
