„Hlutmengi“: Munur á milli breytinga

Efni eytt Efni bætt við
Cessator (spjall | framlög)
Ekkert breytingarágrip
Ekkert breytingarágrip
Lína 1:
[[Mynd:Set subsetAofB.png|thumb|[[Venn-mynd]] þar sem ''A'' er hlutmengi ''B'']]
'''Hlutmengi''' í [[mengjafræði]] er [[mengi]] sem inniheldur eitt eða fleiri stökustök úr öðru mengi með undantekningunni [[tómamengi]]ð, sem er hlutmengi í öllum mengjum. Öll mengi eru hlutmengi í sjálfu sér og [[sammengi]] allra hlutmengja tiltekins mengis er mengið sjálft. Mengi allra hlutmengja tiltekins mengis ''S'' nefnist [[veldismengi]], táknað með <math>\mathcal{P}(S)</math>. Ef A er hlutmengi í B og B hefur að minnsta kosti eitt [[mengi|stak]] umfram A, kallast A ''eiginlegt hlutmengi'' í B.
 
{{Stæ-stubbur}}