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 . Dois pares ordenados e são iguais se, e somente se, e ↔ e