En matematiko, duelementa aroduera aroduuma aro estas aro kun precize du malsamaj elementoj, aŭ, ekvivalente, aro kies kardinala nombro estas 2.

Ekzemploj:

  • Aro {1, 2} estas duelementa.
  • Aro {1, 1} estas ne duelementa, ĉar ĝi estas la sama aro kiel {1}, kaj tial estas unuelementa aro.

En aksioma aroteorio, la ekzisto de duelementaj aroj estas konsekvenco de la aksiomo de malplena aro kaj la aksiomo de parigo. De la aksiomo de malplena aro sekvas ke ekzistas aro . De la aksiomo de parigo sekvas ke ekzistas aro , kaj tial ekzistas aro s. Ĉi tiu lasta aro havas du elementojn.

Vidu ankaŭ

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.