Par ordenado

Em matemática, um par ordenado (a, b) é um par de objetos matemáticos cuja ordem de ocorrência desses objetos é significante. Consiste de dois elementos, digamos a e b, dos quais um, digamos a, é designado como primeiro elemento e o outro como segundo elemento. Um par ordenado é designado por ${\displaystyle (a,b)}$. Dois pares ordenados ${\displaystyle (a,b)}$ e ${\displaystyle (c,d)}$ são iguais se, e somente se, ${\displaystyle a=c}$ e ${\displaystyle b=d}$

${\displaystyle (a,b)=(c,d)}$ ↔ ${\displaystyle (a=c}$ e ${\displaystyle b=d)}$

• Ex 1: os pares ordenados ${\displaystyle (2,3)}$ e ${\displaystyle (3,2)}$ são diferentes.
• Ex 2: pares ordenados podem ter os primeiros e segundos elementos idênticos tais como:

${\displaystyle (1,1),(5,5)}$ e ${\displaystyle (7,7)}$

O conjunto de todos os pares ordenados nos quais o primeiro elemento vem do conjunto X e o segundo do conjunto Y é chamado de Produto cartesiano de X e Y.