**D**is functional, i.e. Ψ_{D}is injective;*D*has an injective interpretation in some algebra;- For any two distinct elements of
*D*there is an algebra interpreting them differently.

2.⇒3.

3.⇒1. ∀

Any draft *D* can be reduced to a condensed draft as follows.

Then the interpretation of

Let us call

This equivalence relation is included in that of any interpretation of

We can also compare separately given terms by reducing them to this case as any disjoint union of drafts (only keeping variables in common) is a draft.

IfIf *L* has no constant then ∅ is a ground term *L*-algebra.

If *L* only has constants, then ground term *L*-algebras are the
copies of *L*.

From any injective *L*-algebra (*E*,φ_{E}) and
*V* ⊂ *E* \ Im φ_{E} one can form the term algebra
〈*V*〉_{L}. In particular the existence of an injective
algebra implies that of a ground term algebra.

Conversely any initial

- minimal : ∃
*f*∈Mor_{L}(*E*,Min_{L}*E*),*f*∈Mor_{L}(*E*,*E*)∴*f*=Id_{E}∴ Min_{L}*E*=*E* - injective : (
*F*=∧ φ^{L}E_{F}=^{L}φ_{E}) ⇒ φ_{E}∈Mor_{L}(*F*,*E*) ∴ ∃*f*∈Mor_{L}(*E*,*F*), φ_{E}০*f*= Id_{E}∴*f*০φ_{E}= φ_{F}০=^{L}f^{L}(φ_{E}০*f*) = Id_{F}.

**Proposition.** For any ground term *L*-algebra *K*
and any injective *L*-algebra *M*, the unique
*f*∈Mor_{L}(*K*,*M*) is injective.

Proof 2. Im

This

For any subset *A* of an *L*-algebra *E* and any term algebra
whose set of variables is a copy of *A*, the image of its interpretation
in *E* is 〈*A*〉_{L}.

Conversely if

The monoid structure of

For any set

Denoting

*M*is a unary term*X*_{1}-algebra with variable*e*, interpreting the copy*x*'∈*X*_{1}of each*x*∈*X*as ∀*y*∈*M*,*x*'_{M}(*y*) =*j*(*x*)•*y*- For any
*X*_{1}-algebra*E*there is a unique left action ⋅ of*M*on*E*such that ∀*x*∈*X*, ∀*y*∈*E*,*j*(*x*)⋅*y*=*x*_{E}(*y*) *M*is an initial object in the category of*X*-monoids.

1. is equivalent to: for any

The uniqueness of the morphism to other

When writing terms with multiple uses of an associative operation symbol, all parenthesis
may be removed. For monoids, this removal of parenthesis and also of occurrences of *e*
seen as the empty chain of symbols, is operated by the interpretation of any
*V*-ary {*e*,•}-term in the free monoid on *V*.

The image of *M* by any morphism of monoid is the sub-monoid generated by the image of *L*.

The above gives two examples of varieties

- That of all
*L*-algebras for any given algebraic language*L*; its clone is the sequence of term algebras with each finite arity. - That of all monoids; its clone is made of free monoids.

Set theory and foundations of mathematics

1. First foundations of mathematics

2. Set theory (continued)

3. Algebra 1

4.1.
Algebraic terms

4.2.**Term algebras**

4.3. Integers and recursion

4.4. Presburger Arithmetic

4.5. Finiteness and countability

4.6. The Completeness Theorem

4.7. Non-standard models of Arithmetic

4.8. Developing theories : definitions

4.9. Constructions

5. Second-order foundations 4.2.

4.3. Integers and recursion

4.4. Presburger Arithmetic

4.5. Finiteness and countability

4.6. The Completeness Theorem

4.7. Non-standard models of Arithmetic

4.8. Developing theories : definitions

4.9. Constructions

6. Foundations of Geometry