Aro-teorio: Malsamoj inter versioj

 

== Aksioma arteorio ==

La [[aksiomo]]j por la arteorio nuntempe plej ofte uzataj estas nomataj la Zermelo-Fraenkel-aksiomoj. Verdire, la aksiomoj estas ĉenoj de [[logiko|logikaj]] [[simbolo]]j. Ĉi sube aperas iliaj "tradukoj" al natura lingvo:

 

 

== Operacioj per aroj ==

 

=== Kunigo ===

La kunaĵo de du aroj ''A'' kaj ''B'' konsistas el ĉiuj elementoj, kiuj estas en ''A'', en ''B'' aŭ en ambaŭ. La operacio nature ĝeneraliĝas al pli ol du aroj; ĝi estas ĝeneraligebla ankaŭ al nefinie da aroj. Ĝi estas [[komuteco|komuteca]] kaj [[asocieco|asocieca]]. Oni notas ĝin per la kunigo-signo (∪), kiu similas al pelveto aŭ al litero "U".

 

[[Dosiero:Venn0001.svg|eta|dekstra|150px|Komunaĵo de du aroj]]

 

La komunaĵo de du aroj ''A'' kaj ''B'' konsistas el ĉiuj elementoj, kiuj estas kaj en ''A'' kaj en ''B''. La operacio nature ĝeneraliĝas al pli ol du aroj; ĝi estas ĝeneraligebla ankaŭ al nefinie da aroj. Ĝi estas [[komuteco|komuteca]] kaj [[asocieco|asocieca]]. Oni notas ĝin per la komunaĵiga signo (∩), kiu similas al inversigita pelveto.

 

 

== Eksteraj ligiloj ==

* http://plato.stanford.edu/entries/set-theory <!-- } -->

* http://www.math.niu.edu/~rusin/known-math/index/03EXX.html <!-- ''_Mathematical_ _Atlas_'' _Artikel_ -->

* http://www.settheory.net/ <!-- _Set_ _Theory_ -->

 

 

[[Kategorio:Aroteorio]]