Kiel registrite je 13:23, 5 maj. 2018 redakti DidCORN (diskuto \| kontribuoj) Patrolantoj 14 429 redaktoj e Thumb ---> eta; right ---> dekstra ← Iru al antaŭa ŝanĝo		Kiel registrite je 15:01, 6 sep. 2019 redakti malfari LiMrBot (diskuto \| kontribuoj) Mempatrolatoj, Robotoj, Administrantoj 682 745 redaktoj formatigo de titoloj, +Projektoj, kosmetikaj ŝanĝoj Iru al sekvanta ŝanĝo →
Linio 18: == Ekzemploj == * La aro {1, 2} estas pozitiva subaro de {1, 2, 3}. * La aro de [[Natura nombro\|naturaj nombroj]] estas pozitiva subaro de la aro de [[Racionala nombro\|racionalaj nombroj]]. Linio 25 ⟶ 24: * La [[malplena aro]], skribita ø, estas ankaŭ subaro de ĉiu aro ''X''. Malplena aro estas pozitiva subaro de ĉiuj aroj krom si. <!-- == Proprecoj == '''Propono 1''': La [[malplena aro]] estas subaro de ĉiu aro. Linio 74 ⟶ 73: == Aliaj proprecoj de inkluziveco == La kutima (mendi, ordo) sur la [[Numero\|numeroj]] estas donita per inkluziveco. Por la [[aro de ĉiuj subaroj]] de aro ''S'', la inkluziveca parta ordo estas (supren al (mendi, ordo)-izomorfio) la [[Kartezia produto]] de \|''S''\| (la [[kardinalo]] de ''S'') (kopioj, kopias) de la parta ordo sur {0,1}, por kiu 0 < 1. --> {{~~komentitaj~~Komentitaj partoj}} {{Projektoj}} [[Kategorio:Aroteorio]]

Subaro: Malsamoj inter versioj