All intra-regular generalized hypersubstitutions of type (2)
A generalized hypersubstitution of type τ maps each operation symbol of the type to a term of the type, and can be extended to a mapping defined on the set of all terms of this type. The set of all such generalized hypersubstitutions forms a monoid. An element a of a semigroup S is intra-regular if...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2019-08-01
|
Series: | Acta Universitatis Sapientiae: Mathematica |
Subjects: | |
Online Access: | https://doi.org/10.2478/ausm-2019-0003 |