Azpimultzo: berrikuspenen arteko aldeak

{{teorema|1=Izan bedi ''A'' ''B''-ren azpimultzo bat ezen ''A'' &ne; ''B'' baita. Orduan esaten da ''A'' ''B''-ren '''azpimultzo propio''' bat dela, eta ''A'' ⊊ ''B'' adierazten da. <br/>

(Era berean, esaten da ''B'' ''A''-ren '''gainmultzo propio''' bat dela, ''B'' ⊋ ''A'')}}

 

''A'' ⊂ ''B'' eta ''B'' ⊃ ''A'' notazioak ere erabiltzen dira, baina haiek azpimultzoa adieraz dezakete, ''A'' ⊆ ''B'' eta ''B'' ⊇ ''A''; edo azpimultzo propio, ''A'' ⊊ ''B'' eta ''B'' ⊋ ''A''.