„Hlutmengi“: Munur á milli breytinga
Efni eytt Efni bætt við
m robot Bæti við: sr:Подскуп |
afstubbun |
||
Lína 1:
[[Mynd:Venn A subset B.svg|thumb|[[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ð ''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''.
[[Flokkur:Mengjafræði]]
|