„Hlutmengi“: Munur á milli breytinga

'''Hlutmengi''' í [[mengjafræði]] er [[mengi]] sem inniheldur eitt eða fleiri stö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 mengi ''A'' er hlutmengi í ''B'' og mengið ''B'' hefur að minnsta kostia.m.k. eitt [[mengi|stak]] umfram ''A'', kallast mengið ''A'' ''eiginlegt hlutmengi'' í ''B''.