Hlutmengi

Úr Wikipediu, frjálsa alfræðiritinu

Venn-mynd þar sem A er hlutmengi B
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.


  eiπ  

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