Classification of multioperations of rank $2$ by $E$-precomplete sets

В работе рассматриваются мультиоперации, задаваемые на двухэлементном множестве, и замыкание, использующее операторы суперпозиции и разветвления по предикату равенства. Оператор суперпозиции основан на объединения множеств. Приводится классификация мультиопераций относительно принадлежности предполным множествам. Показывается, что число классов эквивалентности равно $129$. Описываются все типы базисов и доказывается, что максимальная мощность базиса равна $4$.