Azpimultzo: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
t r2.7.1) (robota Erantsia: mk:Подмножество |
t Robota: Aldaketa kosmetikoak |
||
1. lerroa:
[[Fitxategi:Venn A subset B.svg|150px|thumb|right|[[Eulerren diagrama]] honen bidez<br /> erakusten da ''A'' ''B''-ren azpimultzo propio bat dela eta alderantziz ''B'' ''A''-ren gainmultzo propio bat]]
[[Matematika]]n, bereziki [[multzo-teoria]]n, '''azpimultzoa''' [[multzo]] bateko zenbait elementuz osatutako edozein multzoa da.
5. lerroa:
{{teorema|1=Izan bitez ''A'' eta ''B'' bi [[multzo]] non ''A''-ren elementu bakoitza ''B''-ren elementua ere den. Orduan:
* ''A'' ''B''-ren '''azpimultzoa''' da, eta ''A''
* ''B'' ''A''-ren '''gainmultzoa''' da, eta ''B''
}}
13. lerroa:
Jatorrizko multzoaren osaera bera ez duen azpimultzoa.
{{teorema|1=Izan bedi ''A'' ''B''-ren azpimultzo bat ezen ''A''
(Era berean, esaten da ''B'' ''A''-ren '''gainmultzo propio''' bat dela, ''B'' ⊋ ''A'')}}
|