2.4.Специальные свойства отношений. Математическая логика и теория алгоритмов.

Упорядоченная пара x, y интуитивно определяется как совокупность, состоящая из двух элементов x и y, расположенных в определенном порядке. Две пары x, y и u, v считаются равными тогда и только тогда, когда x u и y v. Весь материал взят: