Hlutmengi

Úr Wikipediu, frjálsa alfræðiritinu

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ð . Ef A er hlutmengi í B og B hefur að minnsta kosti eitt stak umfram A, kallast A eiginlegt hlutmengi í B.

eiπ	Þessi grein sem fjallar um stærðfræði er stubbur. Þú getur hjálpað til með því að bæta við hana