5.5.3. Построение многомерных алгоритмов нечеткого вывода (общий случай).
При построении алгоритмов нечеткого вывода необходимо рассматривать два случая: когда нечеткие подмножества 
определены на множествах действительных чисел, т. е. 
, и когда 
т. е. существуют нечеткие подмножества, соответствующие значениям ЛП высокой степени иерархии (или структурированным лингвистическим переменным). В этом случае множества нечетких подмножеств 
определены на множествах собственных значений, т. е. 
Рассмотрим случай использования операции 
для вычисления функций принадлежности нечетких соответствий.
В терминах функций принадлежности нечеткий вывод (5.57) примет вид
Данное выражение можно представить в следующем виде:
С учетом данного выражения нетрудно увидеть, что
Если 
- являются обычными значениями, т. е. 
тогда функция принадлежности нечеткого соответствия будет определяться по формуле
