566 746
redaktoj
formatigo de titoloj, +Projektoj, kosmetikaj ŝanĝoj
| [kontrolita revizio] | [kontrolita revizio] |
DidCORN (diskuto | kontribuoj) e (Thumb ---> eta; right ---> dekstra) |
LiMrBot (diskuto | kontribuoj) (formatigo de titoloj, +Projektoj, kosmetikaj ŝanĝoj) |
||
|
== 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]].
* 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.
== 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.
-->
{{
{{Projektoj}}
[[Kategorio:Aroteorio]]
| |||