Hlutmengi

Úr Wikipediu, frjálsa alfræðiritinu
Stökkva á: flakk, leita
Venn-mynd þar sem A er hlutmengi B

Hlutmengi er mengi A, sem venslað er öðru mengi B þannig að A hefur öll sín stök sameiginleg með B, táknað AB. Öll mengi eru hlutmengi í sjálfu sér og sammengi allra hlutmengja tiltekins mengis er mengið sjálft. Stök veldismengis tiltekins mengis eru öll hlutmengi þess, þ.m.t. tómamengið, sem er hlutmengi í öllum mengjum. 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ð AB.