A ideia de par ordenado é simples, tão simples.
Um par ordenado de dois objectos a e b é o par constituído por esses objectos pela ordem indicada, é designado por (a,b). Não pode ser designado por {a,b} (conjunto formado por a e b), pois {a,b}={b,a} e portanto a notação {a,b} não codifica a ideia de que a ordem pela qual se apresentam os objectos é importante. A maneira mais simples até hoje conhecida de codificar esta ideia é devida ao matemático polaco Kuratowski (1921).
O par ordenado de dois objectos a e b, designado por (a,b), é o conjunto {{a},{a,b}}.
Created: NaN
Last updated: 24-03-2026 [22:45]
For attribution, please cite this page as:
Charters, T., "Par ordenado": https://nexp.pt/parordenado.html (24-03-2026 [22:45])
(cc-by-sa) Tiago Charters - tiagocharters@nexp.pt
