Имеются элементы, каждый из которых имеет уникальный идентификатор (в простейшем случае — их адрес в памяти). Требуется создать идентификатор для пары элементов, но так чтобы его значение не зависело от порядка в котором они берутся. Можно было бы использовать XOR, но есть вероятность что его значение совпадет с другой парой. А если слепить идентификаторы вместо с помощью OR, то результат будет зависеть от порядка.