Условие однозначности разложения в сумму функций при линейной замене переменных

Рассматривается множество разложений двоичной функции в сумму функций от непересекающихся множеств переменных при различных линейных преобразованиях аргументов. Каждому такому разложению соответствует разложение векторного пространства в прямую сумму подпространств. Приведены условия, при которых такое разложение определяется однозначно с точностью до перестановки подпространств между собой.