Monoids of ND-Full Hypersubstitutions

Abstract

An nd-full hypersubstitution maps any operation symbols to the set of full terms of type τn. Nd-full hypersubstitutions can be extended to mappings which map sets of full terms to sets of full terms. The aims of this paper are to show that the extension of an nd-full hypersubstitution is an endomorphism of some clone and that the set of all nd-full hypersubstitutions forms a monoid.

Keywords

• superposition of sets of terms
• clone
• hypersubstitution
• 08c99
• 68q70