The partial clone of completely expanded terms
Khwancheewa Wattanatripop, Thodsaporn Kumduang · Asian-European Journal of Mathematics · 2024
A term which is a formal expression defined by variables and operation symbols can be described by tree diagram. The class of terms under which the longest distance from the root to each vertex is equal is called completely expanded. In this paper, we consider the partial many-sorted operation defined on the family of all completely expanded terms of type [Formula: see text] and construct the partial algebra satisfying the clone axioms. The partial operations on arbitrary algebra generated by completely expanded terms and their related structures are obtained.