Basic Notation of Universal Algebra

Let us consider A. A finite sequence of operational functions of A is a finite sequence of elements of A∗→A. We introduce universal algebra structures which are extensions of 1-sorted structure and are systems 〈 a carrier, a characteristic 〉, where the carrier is a set and the characteristic is a finite sequence of operational functions of the carrier. Let us mention that there exists a universal algebra structure which is non empty and strict. Let D be a non empty set and let c be a finite sequence of operational functions of D. Note that 〈D,c〉 is non empty. Let us consider A and let I1 be a finite sequence of operational functions of A. We say that I1 is homogeneous if and only if: