Упорядоченная пара - определение

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

Понятие используется, например, для определения бинарного отношения.