Исследуется проблема полноты множества функций, определенных на конечном множестве A и
принимающих в качестве значений подмножества множества A. Функции такого вида называют мультифункциями на A, они обобщают хорошо известный класс функций k-значной логики.
Суперпозиция в обычном смысле, принятая для функций k-значной логики, не подходит для работы с мультифункциями. В статье рассматривается один из видов суперпозиций, которые
обычно используются для мультифункций. Доказано необходимое и достаточное условие полноты произвольного множества мультифункций на f0; 1g, содержащего все одноместные булевы
функции, относительно данной суперпозиции