Orda duopo

Orda duopo estas duelementa aro. En ĉi tiu aro oni distingas unuan elementon kaj duan elementon. Ofte ĝi estas signigata per $\langle a, b \rangle$ aŭ per $(a,b)$ (a, b estas elementoj). Formale orda duopo estis difinata de pola matematikisto Kazimierz Kuratowski, kiel aro:

$(a,b)=\{\{a\}, \{a,b\}\}$.

Orda duopo estas speciala kazo de n-opo, ke n = 2.

Egalo de duopoj

Du duopoj $(a_1,b_1)$ kaj $(a_2,b_2)$ estas egalaj se $a_1 = a_2$ kaj $b_1 = b_2$.

Rimarku, ke ĉi tiu ne estas sama kiel egalo de du aroj.

Ekzemploj

• koordinatoj de punkto sur ebeno

Vidu ankaŭ

• Kartezia produto
• Opo