Azpimultzo: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
No edit summary |
No edit summary |
||
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.
=== Definizioa ===
{{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'' adierazten da
* ''B'' ''A''-ren '''gainmultzoa''' da, eta ''B'' ⊇ ''A'' adierazten da
}}
=== Azpimultzo propioa ===
| |||