This article is cited in 6 papers

Part 2. Special Issues in Intellectual Systems Theory

$ES_I $-closure of rank $2$ multi-functions: completeness criterion, classification, and types of bases

V. I. Panteleev, E. S. Taglasov

Irkutsk State University

Abstract: Multifunctions are functions that are defined on a finite set and return subsets of the considered set as their values. This paper deals with the closure of multifunctions that can be obtained using the operations of adding dummy variables, composition operator, and operator with the equality predicate branching. We obtain nine precomplete closed classes of multifunctions of rank two and prove the completeness criterion. A classification of multifunctions based on belonging to precomplete classes is presented, and all types of bases are described.

Keywords: closure, equality predicate, multioperation, closed set, composition.