Упорядоченная пара - некоторая пара из двух элементов, в которой порядок следования элементов имеет значение.
Понятие используется, например, для определения бинарного отношения.
