Duera aro

En matematiko, duera aro aŭ duuma aro estas aro kun akurate du malsamaj eroj, aŭ, ekvivalente, aro kies kardinalo estas 2.

Ekzemploj:

• Aro {1, 2} estas duuma.
• Aro {1, 1} estas ne duuma, ĉar ĝi estas la sama aro kiel {1}, kaj estas tiel unuera aro.

En aksioma aroteorio, la ekzisto de duumaj aroj estas konsekvenco de la aksiomo de malplena aro kaj la aksiomo de parigo. De la aksiomo de malplena aro sekvas ke ekzistas aro $\emptyset =\{\}$. De la aksiomo de parigo sekvas ke ekzistas aro $\{\emptyset ,\emptyset \}=\{\emptyset \}$, kaj tial ekzistas aro $\{\{\emptyset \},\emptyset \}$s. Ĉi tiu lasta aro havas du erojn.

Vidu ankaŭ

• Malplena aro
• Unuera aro (matematiko)
• Bulea domajno - duera aro kun signifoj de la eroj "malvero" kaj "vero"
• Spaco de Sierpiński - certa topologia spaco kun du eroj
• Orda duopo (ordigita duopo)
• Duargumenta rilato