On completeness of multifunction set of rank 2

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