Kiel registrite je 02:13, 29 mar. 2013 redakti OctraBot (diskuto \| kontribuoj) 6 414 redaktoj e autoMigrateToWikidata @ d:q177646 ← Iru al antaŭa ŝanĝo		Kiel registrite je 13:23, 5 maj. 2018 redakti malfari DidCORN (diskuto \| kontribuoj) Patrolantoj 14 429 redaktoj e Thumb ---> eta; right ---> dekstra Iru al sekvanta ŝanĝo →
Linio 1: [[Dosiero:Venn A subset B.png\|~~150px~~160px\|~~thumb~~eta\|~~right~~dekstre\|''A'' estas subaro de ''B'', kaj ''B'' estas superaro de ''A''.]] En [[matematiko]], aparte en [[aroteorio]], [[Aro (matematiko)\|aro]] ''A'' estas '''subaro''' de aro ''B'', se ''A'' estas "enhavata" ene de ''B''. La interrilato de unu aro estante subaro de alia estas nomata kiel '''inkluziveco'''. Ĉiu aro estas subaro de si. Linio 6: * ''A'' estas '''subaro''' de (aŭ estas '''inkluzivita''' en) ''B'', skribata per ''A'' ⊆ ''B'', aŭ ekvivalente * ''B'' estas '''superaro''' de (aŭ '''~~inkluzivas~~inkluziva''') ''A'', skribata per ''B'' ⊇ ''A''. Se ''A'' estas subaro de ''B'', sed ''A'' estas ne egala al ''B'', tiam A estas ankaŭ '''~~pozitiva~~strikta''' (aŭ '''~~severa~~pozitiva''') '''subaro''' de ''B''. Ĉi tio estas skribita kiel ''A'' ⊂ ''B''. En la sama vojo, ''B'' ⊃ ''A'' signifas ke B estas '''~~pozitiva~~strikta superaro''' de ''A''. Simboloj ⊆ kaj ⊂ estas analoga al ≤ kaj <. Ekzemple, se ''A'' estas ('''larĝsenca''') '''subaro''' de ''B'' (skribita kiel ''A'' ⊆ ''B''), tiam la kvanto deda eroj en A estas malpli ol aŭ egala al la kvanto deda eroj en ''B'' (skribita kiel \|''A''\| ≤ \|''B''\|). Ankaŭ, por [[Finia\|finiaj]] aroj ''A'' kaj ''B'', se ''A'' ⊂ ''B'' tiam \|''A''\| < \|''B''\|. <!-- Multaj aŭtoroj ne sekvi la pli suprajn konvenciojn, sed uzas signon ⊂ por priskribi simple subaro (iom ol pozitiva subaro). Estas unusenca simbolo, <math>\subsetneq</math> (aŭ en [[Unikodo]]), por pozitiva subaro. Iu (aŭtoroj, aŭtoras) uzi ambaŭ unusenca (simboloj, simbolas), &sube; por subaro kaj <math>\subsetneq</math> por pozitiva subaro, kaj _dispense_ kun ⊂ entute. La korespondantaj mallaŭdoj kandidati (superaroj, superaras) kiel bone. Linio 25: * La [[malplena aro]], skribita ø, estas ankaŭ subaro de ĉiu aro ''X''. Malplena aro estas pozitiva subaro de ĉiuj aroj krom si. <!-- == ~~Propraĵoj~~Proprecoj == '''Propono 1''': La [[malplena aro]] estas subaro de ĉiu aro. Linio 73: La pli supre propozicio montras (tiu, ke) la rilato de ara inkluziveco povas esti karakterizita per ĉu de la aro (operacioj, operacias) de unio aŭ komunaĵo, kiu (meznombroj, meznombras, signifas) (tiu, ke) la nocio de ara inkluziveco estas aksiome superflua. == Aliaj ~~propraĵoj~~proprecoj de inkluziveco == La kutima (mendi, ordo) sur la [[Numero\|numeroj]] estas donita per inkluziveco.

Subaro: Malsamoj inter versioj