„Hlutmengi“: Munur á milli breytinga
Efni eytt Efni bætt við
m robot Bæti við: zh-classical:子集 |
m stubbavinnsla AWB |
||
Lína 2:
'''Hlutmengi''' er [[mengi]] ''A'', sem venslað er öðru mengi ''B'' þannig að ''A'' hefur öll sín stök sameiginleg með ''B'', táknað ''A'' ⊆ ''B''. Öll mengi eru hlutmengi í sjálfu sér og [[sammengi]] allra hlutmengja tiltekins mengis er mengið sjálft. Stök [[veldismengi]]s 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ð ''A'' ⊂ ''B''.
{{Stubbur|stærðfræði}}
[[Flokkur:Mengjafræði]]
|