Azpimultzo: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
No edit summary
No edit summary
6. lerroa:
Jatorrizko multzoaren osaera bera ez duen azpimultzoa.
{{teoremaateorema|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'')}}
Todos los ejemplos de subconjunto mostrados arriba son de hecho subconjuntos propios.