[[Fitxategi:Venn A subset B.svg|150px|thumb|right|[[EulerEulerren 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.
6. lerroa:
Jatorrizko multzoaren osaera bera ez duen azpimultzoa.
{{definizioateoremaa|1=SeaIzan bedi ''A'' un subconjunto de ''B''-ren talazpimultzo quebat ezen ''A'' ≠ ''B''.Estoncesbaita. seOrduan diceesaten queda ''A'' es un ''B''subconjunto-ren propio'''azpimultzo de propio''B'',ybat se denotadela, poreta ''A'' ⊊ ''B'' adierazten da. <br/>
(A suEra vezberean, seesaten dice queda ''B'' es un''A''-ren '''superconjuntogainmultzo propio''' debat ''A''dela, ''B'' ⊋ ''A'')}}
Todos los ejemplos de subconjunto mostrados arriba son de hecho subconjuntos propios.
También se utiliza la notación ''A'' ⊂ ''B'' yeta ''B'' ⊃ ''A'',peronotazioak segúnere elerabiltzen dira, autorbaina estohaiek puedeazpimultzoa denotaradieraz subconjuntodezakete, ''A'' ⊆ ''B'' yeta ''B'' ⊇ ''A''; oedo subconjuntoazpimultzo propio, ''A'' ⊊ ''B'' yeta ''B'' ⊋ ''A''.
