do którego także powszechnie stosuje się ów oznaczenie). Jednym z kilku innych używanych wówczas oznaczeń, jest (którym oznacza się również iloczyn skalarny, np. w analizie funkcjonalnej).
Własność
Podstawową własnością par uporządkowanych jest następujące: Własność charakteryzująca wtedy i tylko wtedy, gdy oraz .
Wynika stąd, że wtedy i tylko wtedy, gdy .
Uwaga. Parę uporządkowaną należy odróżniać od pary nieuporządkowanej , która jest zbiorem utworzonym z elementów ; toteż: .
Uwaga. Prototypowym przykładem pary uporządkowanej są współrzędne punktu na płaszczyźnie.
Iloczyn kartezjański Zbiór wszystkich par uporządkowanych, których poprzednik należy do zbioru a następnik do zbioru nazywa się iloczynem kartezjańskim oraz oznaczanym symbolem
Relacja dwuargumentowa nad dziedziną jest formalnie definiowana jako zbiór tych par które pozostają w danej relacji, a zatem jest podzbiorem iloczynu kartezjańskiego
W teorii mnogości pojęcie funkcji definiuje się jako zbiór par uporządkowanych a więc też jako podzbiór iloczynu kartezjańskiego