Изменения
Отмена правки 39364 участника Mtcomscxstart (обсуждение) Какой ещё счётчик Кнута?
{{Определение|definition ='''Счетчик КнутаБинарным отношением''' (англ. ''Knuth's Counterbinary relation'') {{---}} структура данных, представленная избыточной двоичной системой счисления, где добавление единицы к числу выполняется за <tex>O(1)R</tex> из множества <tex>A</tex> в множество <tex>B</tex> называется подмножество прямого произведения <tex>A</tex> и <tex>B</tex> и обозначается:<tex>R \subset A \times B</tex>.}}
Если отношение определено на множестве <tex>A</tex>, то возможно следующее определение:{{Определение|definition == Алгоритм =='''Бинарным''' (или '''двуместным''') '''отношением''' <tex>R</tex> на множестве <tex>A</tex> называется множество упорядоченных пар элементов этого множества.}}Примерами множеств с введёнными на них бинарными отношениями являются [[Ориентированный граф|графы]] и частично упорядоченные множества.