Рассматривается бинарная алгебраическая операция на произвольном множестве, где упорядоченной паре элементов ставится в соответствие определенный элемент того же множества